Jean H. Gallier
#148,645
Most Influential Person Now
Jean H. Gallier's AcademicInfluence.com Rankings
Jean H. Galliermathematics Degrees
Mathematics
#6915
World Rank
#9492
Historical Rank
Measure Theory
#1720
World Rank
#2113
Historical Rank

Download Badge
Computer Science Mathematics
Jean H. Gallier's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Jean H. Gallier Influential?
(Suggest an Edit or Addition)Jean H. Gallier's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae (1984) (1114)
- Logic for Computer Science: Foundations of Automatic Theorem Proving (1985) (551)
- Geometric Methods and Applications: For Computer Science and Engineering (2000) (284)
- Curves and surfaces in geometric modeling: theory and algorithms (1999) (180)
- Quadratic Optimization Problems (2020) (167)
- Higher-Order Unification Revisited: Complete Sets of Transformations (1989) (156)
- Logic for Computer Science (1986) (151)
- Complete Sets of Transformations for General E-Unification (1989) (150)
- On Girard's "Candidats de Reductibilité" (1989) (140)
- Geometric Methods and Applications (2011) (139)
- COMPUTING EXPONENTIALS OF SKEW-SYMMETRIC MATRICES AND LOGARITHMS OF ORTHOGONAL MATRICES (2002) (131)
- Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi (1993) (117)
- What's So Special About Kruskal's Theorem and the Ordinal Gamma0? A Survey of Some Results in Proof Theory (1991) (114)
- Topological Evolution of Surfaces (1996) (94)
- Two Efficient Solutions for Visual Odometry Using Directional Correspondence (2012) (85)
- Polymorphic Rewriting Conserves Algebraic Strong Normalization (1991) (85)
- Theorem Proving Using Rigid E-Unification Equational Matings (1987) (77)
- Logic for computer scientists (1989) (76)
- Constructive Logics. Part II: Linear Logic and Proof Nets (1991) (68)
- Theorem proving using equational matings and rigid E-unification (1992) (62)
- Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (1989) (59)
- Building friendly parsers (1982) (56)
- Reductions in Tree Replacement Systems (1985) (55)
- An algorithm for finding canonical sets of ground rewrite rules in polynomial time (1993) (54)
- Rigid E-Unification: NP-Completeness and Applications to Equational Matings (1990) (53)
- Spectral Theory of Unsigned and Signed Graphs. Applications to Graph Clustering: a Survey (2016) (53)
- A General Complete E-Unification Procedure (1987) (49)
- Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Tr (2008) (49)
- Extending SLD Resolution to Equational Horn Clauses using E-Unification (1989) (49)
- Ann. Pure Appl. Logic (1997) (48)
- Tree Pushdown Automata (1985) (44)
- A Guide to the Classification Theorem for Compact Surfaces (2013) (42)
- A Proof of Strong Normalization for the Theor y of Constructions Using a Kripke-like Interpretation (1990) (40)
- Rigid E-unification is NP-complete (1988) (40)
- Topological Repairing of 3D Digital Images (2008) (38)
- Contour cut: Identifying salient contours in images by solving a Hermitian eigenvalue problem (2011) (38)
- On the Correspondence Between Proofs and -Terms (1995) (37)
- Polymorphic Rewriting Conserves Algebraic Confluence (1994) (36)
- Review: Harry R. Lewis, Christos H. Papadimitriou, Elements of the Theory of Computation (1984) (33)
- SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification (1986) (32)
- Differential Geometry and Lie Groups (2020) (31)
- Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time (1988) (31)
- Designing Unification Procedures Using Transformations: A Survey (1992) (29)
- Spherical Harmonics and Linear Representations of Lie Groups (2009) (25)
- Typing Untyped lambda-Terms, or Reducibility Strikes Again! (1998) (22)
- Logarithms and Square Roots of Real Matrices (2008) (22)
- Making 3D binary digital images well-composed (2005) (21)
- DPDA's in 'Atomic Normal Form' and Applications to Equivalence Problems (1981) (21)
- Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions (2008) (20)
- Semantic Word Clusters Using Signed Spectral Clustering (2017) (17)
- Hornlog: A Graph-Based Interpreter for General Horn Clauses (1987) (17)
- Notes on Elementary Spectral Graph Theory. Applications to Graph Clustering Using Normalized Cuts (2013) (16)
- Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday (1994) (16)
- Fundamentals of Linear Algebra and Optimization (2013) (13)
- Notes On Group Actions Manifolds, Lie Groups and Lie Algebras (2005) (13)
- Rigid E -Unification and, Its Applications to Equational Matings (1989) (13)
- Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II (1981) (13)
- n-Rational Algebras I. Basic Properties and Free Algebras (1984) (12)
- A new construction of smooth surfaces from triangle meshes using parametric pseudo-manifolds (2009) (12)
- and a Generalization of the Quaternions: The Pin and Spin Groups (2012) (12)
- Unification procedures in automated deduction methods based on matings: A survey (1992) (11)
- Parametric pseudo-manifolds (2012) (11)
- Constrained quadrilateral meshes of bounded size (2005) (10)
- Basics of Classical Lie Groups: The Exponential Map, Lie Groups, and Lie Algebras (2001) (10)
- WHAT'S SO SPECIAL ABOUT KRUSKAL'S THEOREM AND THE ORDINAL 0? A SURVEY OF SOME RESULTS IN PROOF THEORY This paper has appeared in Annals of Pure and Applied Logic, 53 (1991), 199-260. (2012) (10)
- Basics of Affine Geometry (2011) (10)
- Notes on Dierential Geometry and Lie Groups (2011) (9)
- Recursion-Closed Algebraic Theories (1981) (9)
- On the Correspondence Between Proofs and Lambda-Terms (1993) (9)
- Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures (1978) (9)
- Remarks on the Cayley Representation of Orthogonal Matrices and on Perturbing the Diagonal of a Matrix to Make it Invertible (2006) (8)
- Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I (1981) (7)
- Semantic Word Clusters Using Signed Normalized Graph Cuts (2016) (7)
- Construction of C ∞ Surfaces From Triangular Meshes Using Parametric Pseudo-Manifolds (2008) (7)
- Topological Repairing of 3 D Digital Images (2007) (7)
- Logic Programming and Graph Rewriting (1985) (7)
- Theorem-proving methods for order-sorted logic (1989) (6)
- The Cartan–Dieudonné Theorem (2011) (6)
- Recursion Schemes and Generalized Interpretations (Extended Abstract) (1979) (6)
- The semantics of recursive programs with function parameters of finite types: N -rational algebras and logic of inequalities (1986) (6)
- Rewriting in Order-sorted Equational Logic (1988) (6)
- Proving Properties of Typed λ-Terms Using Realizability , Covers , and Sheaves (2003) (6)
- A New Algorithm for Generating Quadrilateral Meshes and its Application to FE-Based Image Registration (2003) (6)
- Notes on the Schur Complement (2010) (6)
- Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations (1987) (6)
- Schur Complements and Applications (2011) (5)
- Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves (1995) (5)
- Linear Algebra and Optimization with Applications to Machine Learning - Volume I: Linear Algebra for Computer Vision, Robotics, and Machine Learning (2020) (4)
- The Quaternions and the Spaces S 3 , SU(2), SO(3), and ℝ ℙ 3 (2011) (4)
- Semantics and correctness of classes of deterministic and nondeterministic recursive programs (1978) (4)
- Order-Sorted Rigid E-Unification (1991) (4)
- Some Counting Problems; Multinomial Coefficients, The Principle of Inclusion–Exclusion, Sylvester’s Formula, The Sieve Formula (2011) (4)
- A simple method for drawing a rational curve as two Bézier segments (1999) (4)
- The exponential map for the group of similarity transformations and applications to motion interpolation (2015) (3)
- On the Efficiency of Strategies for Subdividing Polynomial Triangular Surface Patches (2006) (3)
- The Frobenius Coin Problem Upper Bounds on The Frobenius Number (2014) (3)
- Simple Methods For Drawing Rational Surfaces as Four or Six Bezier Patches (2006) (3)
- n-Rational Algebras II. Varieties and Logic of Inequalities (1984) (3)
- Basics of Projective Geometry (2011) (3)
- The Classification Theorem for Compact Surfaces and a Detour on Fractals (2008) (3)
- Embedding an Affine Space in a Vector Space (2001) (3)
- Notes on Public Key Cryptography And Primality Testing Part 1: Randomized Algorithms Miller{Rabin and Solovay{Strassen Tests (2016) (2)
- Erratum to "What's So Special About Kruskal's Theorem and the Ordinal Gamma0? A Survey of Some Results in Proof Theory" (1997) (2)
- Homology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry (2021) (2)
- Aspects of a graph-based proof procedure for horn clauses (1987) (2)
- Exact Computation Sequences (1986) (2)
- Linear Algebra and Optimization with Applications to Machine Learning - Volume II: Fundamentals of Optimization Theory with Applications to Machine Learning (2020) (2)
- Building Exact Computation Sequences (1987) (2)
- The Fundamental Group, Orientability (2013) (2)
- Analysis and Simulation of Biomedical Images (2006) (2)
- Decidable Subcases of The Equivalence Problem for Recursive Program Schemes (1987) (2)
- Properties of Convex Sets: A Glimpse (2001) (2)
- Realizability, Covers, and Sheaves II. Applications to the Second-Order Lambda-Calculus (1993) (1)
- Solving Word Problems in Free Algebras Using Complexity Functions (1984) (1)
- Dirichlet-Voronoi Diagrams and Delaunay Triangulations (2011) (1)
- Reducibility Strikes Again, I! (1993) (1)
- Applications of SVD and Pseudo-Inverses (2020) (1)
- Discrete Mathematics, Some Notes (2009) (1)
- The Completeness of Propositional Resolution: A Simple and Constructive Proof (2006) (1)
- Mathematical Reasoning, Proof Principles, and Logic (2011) (1)
- Order-Sorted Congruence Closure (1988) (1)
- Adjoint Representations and the Derivative of exp (2020) (1)
- Fundamentals of Linear Algebra and Optimization CIS 515 , Some Slides (2013) (1)
- Continuation Semantics for Flowgraph Equations (1986) (1)
- Advanced Geometric Methods in Computer Science (2008) (1)
- The Classification Theorem for Compact Surfaces (2013) (1)
- Quadratic Optimization and Contour Grouping (2011) (1)
- Basic Properties of Convex Sets (2011) (1)
- Corrigendum: DPDA's in "Atomic Normal Form" and Applications to Equivalence Problems. TCS 14(1981) 155-186 (1982) (1)
- Singular Value Decomposition (SVD) and Polar Form (2011) (1)
- Lie Groups, Lie Algebras, and the Exponential Map (2020) (1)
- Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus (1997) (1)
- Spring 2021 CIS 511 Introduction to the Theory of Computation (2013) (1)
- Basics of the Differential Geometry of Surfaces (2011) (1)
- Structure From Motion With Directional Correspondence for Visual Odometry (2011) (1)
- Deterministic finite automata with recursive calls and DPDAs (2003) (1)
- Mesh generation from imaging data (2006) (1)
- Computing Exponentials of Real Matrices Diagonalizable Over C (2006) (1)
- A Relational Semantics for Logic Programming (1988) (1)
- Basics of Manifolds and Classical Lie Groups: The Exponential Map, Lie Groups, and Lie Algebras (2011) (1)
- Spectral Theorems in Euclidean and Hermitian Spaces (2020) (1)
- Graphs, Part I: Basic Notions (2011) (0)
- Separating and Supporting Hyperplanes (2011) (0)
- Tensor Algebras and Symmetric Algebras (2020) (0)
- Kripke Models for the Second-Order A-Calculus Preliminary Version (2011) (0)
- Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract) (1993) (0)
- Reducibility Strikes Again , I ! MS-CIS-93-49 LOGIC & COMPUTATION 67 (2014) (0)
- Exterior Tensor Powers and Exterior Algebras (2020) (0)
- The Matrix Exponential: Some Matrix Lie Groups (2020) (0)
- Distributions and the Frobenius Theorem (2020) (0)
- Introduction to Manifolds and Lie Groups (2020) (0)
- Isometries, Local Isometries, Riemannian Coverings and Submersions, and Killing Vector Fields (2020) (0)
- Introduction (2020) (0)
- Simplices, Complexes, and Triangulations (2013) (0)
- The Classification Theorem: Informal Presentation (2013) (0)
- Proving Properties of Typed A-Terms Using Realizability , Covers , and Sheaves MS-CIS-94-60 LOGIC & COMPUTATION 89 (2014) (0)
- Integration on Manifolds (2020) (0)
- Discrete Mathematics for Computer Science, Some Notes (2008) (0)
- Drawing closed rational surfaces (1997) (0)
- A Note on Logical Pers and Reducibility Logical Relations Strike Again! Preliminary Version (1998) (0)
- The Derivative of $$\exp $$ and Dynkin’s Formula $$\circledast $$ (2020) (0)
- Realizability, Covers, and Sheaves I. Application to the Simply-Typed Lambda-Calculus (1993) (0)
- On Some Quadratic Optimization Problems Arising in Computer Vision (2011) (0)
- Relations, Functions, Partial Functions (2011) (0)
- Applications of Euclidean Geometry to Various Optimization Problems (2001) (0)
- Curvature in Riemannian Manifolds (2020) (0)
- Kripke Models for the Second-Order Lambda-Calculus (1993) (0)
- Convex Sets, Polyhedra and Polytopes: A Deeper Look (2003) (0)
- Adaptive Fitting of C ∞ Surfaces to Dense Triangle Meshes (2008) (0)
- The Log-Euclidean Framework Applied to SPD Matrices (2020) (0)
- Typing untyped λ -terms, or Reducibility strikes again! Typing untyped -terms, or Reducibility strikes again! (2021) (0)
- Basics of Hermitian Geometry (2011) (0)
- The Structure of O(p, q) and SO(p, q) (2020) (0)
- Clifford Algebras, Clifford Groups, and the Groups Pin(n) and Spin(n) (2020) (0)
- Notes on Convex Sets, Polytopes, Polyhedra, (2008) (0)
- Spring, 2005 Cis 610 (2005) (0)
- Kripke Models for the Second-Order A-Calculus MS-CIS-93-48 LOGIC & COMPUTATION 66 (2014) (0)
- Spring , 2005 CIS 610 Advanced Geometric Methods in Computer Science (2005) (0)
- Fast and Simple Methods For Computing Control Points (2006) (0)
- Ju n 20 06 Remarks on the Cayley Representation of Orthogonal Matrices and on Perturbing the Diagonal of a Matrix to Make it (2008) (0)
- Typing untyped A-terms , or Reducibility strikes again ! MS-CIS-94-59 LOGIC & COMPUTATION 88 (2014) (0)
- Differential Forms (2020) (0)
- The Lorentz Groups $${\circledast }$$ (2020) (0)
- Basic Analysis: Review of Series and Derivatives (2020) (0)
- Riemannian Metrics and Riemannian Manifolds (2020) (0)
- A Review of Point Set Topology (2020) (0)
- Bundles, Metrics on Bundles, and Homogeneous Spaces (2020) (0)
- Partial Orders, Lattices, Well-Founded Orderings, Unique Prime Factorization in ℤ and GCDs, Equivalence Relations, Fibonacci and Lucas Numbers, Public Key Cryptography and RSA, Distributive Lattices, Boolean Algebras, Heyting Algebras (2011) (0)
- Solving the Elastic Net and Lasso Regression Problems (2022) (0)
- Construction of Manifolds from Gluing Data $$\circledast $$ (2020) (0)
- Correction to: Differential Geometry and Lie Groups (2020) (0)
- Quadrilateral Meshes for the Registration of Human Brain Images (0)
- Convex Sets: A Deeper Look (2001) (0)
- Basics of Euclidean Geometry (2011) (0)
- Metrics, Connections, and Curvature on Lie Groups (2020) (0)
- Manifolds, Tangent Spaces, Cotangent Spaces, and Submanifolds (2020) (0)
- Groups and Group Actions (2020) (0)
- Connections on Manifolds (2020) (0)
- Vector Fields, Lie Derivatives, Integral Curves, and Flows (2020) (0)
- Notes on RSA (2010) (0)
- On the existence of optimal fixpoints (1979) (0)
- Connections and Curvature in Vector Bundles (2020) (0)
- Geodesics on Riemannian Manifolds (2020) (0)
- Basics of Algebra, Topology, and Dierential Calculus (2014) (0)
- Graphs, Part II: More Advanced Notions (2011) (0)
- Manifolds Arising from Group Actions (2020) (0)
- Partitions of Unity and Covering Maps $$\circledast $$ (2020) (0)
- Operators on Riemannian Manifolds: Hodge Laplacian, Laplace-Beltrami Laplacian, the Bochner Laplacian, and Weitzenböck Formulae (2020) (0)
This paper list is powered by the following services: