Follow
Jean Gallier
Title
Cited by
Cited by
Year
Linear-time algorithms for testing the satisfiability of propositional Horn formulae
WF Dowling, JH Gallier
The Journal of Logic Programming 1 (3), 267-284, 1984
14471984
Logic for computer science: foundations of automatic theorem proving
JH Gallier
Courier Dover Publications, 2015
13002015
Geometric methods and applications: for computer science and engineering
J Gallier
Springer Science & Business Media, 2011
5912011
Curves and surfaces in geometric modeling: theory and algorithms
JH Gallier
Morgan Kaufmann, 2000
3002000
Higher-order unification revisited: Complete sets of transformations
W Snyder, J Gallier
Journal of Symbolic Computation 8 (1-2), 101-140, 1989
2241989
On Girard's" candidates de Reductibilité"
JH Gallier
University of Pennsylvania, School of Engineering and Applied Science …, 1989
1921989
What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory
JH Gallier
Annals of pure and applied logic 53 (3), 199-260, 1991
1811991
Constructive logics part I: A tutorial on proof systems and typed λ-calculi
J Gallier
Theoretical computer science 110 (2), 249-339, 1993
179*1993
Complete sets of transformations for general E-unification
JH Gallier, W Snyder
Theoretical Computer Science 67 (2-3), 203-260, 1989
1781989
Computing exponentials of skew-symmetric matrices and logarithms of orthogonal matrices
J Gallier, D Xu
International Journal of Robotics and Automation 18 (1), 10-20, 2003
1642003
The Schur complement and symmetric positive semidefinite (and definite) matrices
J Gallier
Penn Engineering, 1-12, 2010
1392010
Differential geometry and lie groups
JQ Gallier, J Quaintance
Springer International Publishing, 2020
1352020
Topological evolution of surfaces
D DeCarlo, J Gallier
Graphics Interface 96, 194-203, 1996
1241996
Two efficient solutions for visual odometry using directional correspondence
O Naroditsky, XS Zhou, J Gallier, SI Roumeliotis, K Daniilidis
IEEE transactions on pattern analysis and machine intelligence 34 (4), 818-824, 2011
1062011
Discrete mathematics
J Gallier
Springer Science & Business Media, 2011
1052011
Polymorphic rewriting conserves algebraic strong normalization
V Breazu-Tannen, J Gallier
Theoretical Computer Science 83 (1), 3-28, 1991
1011991
Rigid E-unification: NP-completeness and applications to equational matings
J Gallier, P Narendran, D Plaisted, W Snyder
Information and Computation 87 (1-2), 129-195, 1990
921990
Coordinated path planning for fixed-wing UAS conducting persistent surveillance missions
J Keller, D Thakur, M Likhachev, J Gallier, V Kumar
IEEE Transactions on Automation Science and Engineering 14 (1), 17-24, 2016
912016
A guide to the classification theorem for compact surfaces
JH Gallier, D Xu
Springer, 2013
892013
Theorem proving using rigid E-unification: Equational matings
JH Gallier, S Raatz, W Snyder
University of Pennsylvania, School of Engineering and Applied Science …, 1987
891987
The system can't perform the operation now. Try again later.
Articles 1–20