Concepedia

Jean Gallier

JG

46

Publications

2.8K

Citations

27

H-Index

1981

Active since

Affiliations

University of Pennsylvania(Current)

California University of Pennsylvania

University of the Sciences

Philadelphia University

Boston University

Jean Gallier is an author at University of Pennsylvania specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationComputational GeometryNatural SciencesGeometry ModelingSpectral TheoryComputer-aided Design

Publications per year

1981–2017

46

Publications

46

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · The Journal of Logic Programming · 1984 · 1K citations

Engineering, Automated Reasoning, Propositional Horn Formulae +10

Higher-order unification revisited: Complete sets of transformations

Wayne Snyder, Jean Gallier · Journal of Symbolic Computation · 1989 · 113 citations

Engineering, Higher-order Unification, Automated Reasoning +6

COMPUTING EXPONENTIALS OF SKEW-SYMMETRIC MATRICES AND LOGARITHMS OF ORTHOGONAL MATRICES

Jean Gallier, Dongpo Xu · 2002 · 106 citations

Complete sets of transformations for general E-unification

Jean Gallier, Wayne Snyder · Theoretical Computer Science · 1989 · 103 citations

Formal Specification, Engineering, Automated Reasoning +6

What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory

Jean Gallier · Annals of Pure and Applied Logic · 1991 · 99 citations

Proof Theory, Ordinal γO

Rows per page

1–5 of 46