# zbMATH — the first resource for mathematics

## Gallier, Jean H.

Compute Distance To:
 Author ID: gallier.jean-h Published as: Gallier, Jean H.; Gallier, Jean
 Documents Indexed: 57 Publications since 1978, including 10 Books
all top 5

#### Co-Authors

 26 single-authored 9 Snyder, Wayne 5 Raatz, Stan 4 Narendran, Paliath 4 Quaintance, Jocelyn 3 Breazu-Tannen, Val 3 Pelin, Alex 3 Plaisted, David Alan 3 Xu, Dianna 2 Dowling, William F. 2 Siqueira, Marcelo 1 Book, Ronald Vernon 1 Courcelle, Bruno 1 Gee, James C. 1 La Torre, Salvatore 1 Mukhopadhyay, Supratik 1 Ramaswami, Suneeta 1 Schimpf, Karl M. 1 Sundaram, Tessa
all top 5

#### Serials

 12 Theoretical Computer Science 4 Annals of Pure and Applied Logic 3 The Journal of Logic Programming 3 Geometry and Computing 2 Journal of the Association for Computing Machinery 2 Journal of Computer and System Sciences 2 SIAM Journal on Computing 2 Journal of Symbolic Computation 2 Information and Computation 2 Texts in Applied Mathematics 1 Information Processing Letters 1 Mathematical Systems Theory 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 International Journal of Computational Geometry & Applications 1 Differential Geometry and its Applications 1 RAIRO. Informatique Théorique et Applications 1 International Journal of Robotics and Automation 1 Logical Methods in Computer Science 1 Universitext
all top 5

#### Fields

 42 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 8 General algebraic systems (08-XX) 7 Numerical analysis (65-XX) 4 Topological groups, Lie groups (22-XX) 4 Differential geometry (53-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-XX) 2 Geometry (51-XX) 2 Algebraic topology (55-XX) 2 Manifolds and cell complexes (57-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Combinatorics (05-XX) 1 Special functions (33-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX)

#### Citations contained in zbMATH Open

44 Publications have been cited 573 times in 508 Documents Cited by Year
Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Zbl 0593.68062
Dowling, William F.; Gallier, Jean H.
1984
Logic for computer science. Foundations of automatic theorem proving. Zbl 0605.03004
Gallier, Jean H.
1986
What’s so special about Kruskal’s theorem and the ordinal $$\Gamma{}_ 0$$? A survey of some results in proof theory. Zbl 0758.03025
Gallier, Jean H.
1991
Higher-order unification revisited: Complete sets of transformations. Zbl 0682.03034
Snyder, Wayne; Gallier, Jean
1989
Complete sets of transformations for general E-unification. Zbl 0686.68024
Gallier, Jean H.; Snyder, Wayne
1989
Geometric methods and applications. For computer science and engineering. 2nd ed. Zbl 1247.53001
Gallier, Jean
2011
Polymorphic rewriting conserves algebraic strong normalization. Zbl 0745.68065
Breazu-Tannen, Val; Gallier, Jean
1991
Reductions in tree replacement systems. Zbl 0602.68072
Gallier, Jean H.; Book, Ronald V.
1985
Theorem proving using equational matings and rigid $$E$$-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
1992
Polymorphic rewriting conserves algebraic strong normalization and confluence. Zbl 0686.68022
Breazu-Tannen, Val; Gallier, Jean
1989
Geometric methods and applications. For computer science and engineering. Zbl 1031.53001
Gallier, Jean
2001
DPDA’s in ’Atomic normal form’ and applications to equivalence problems. Zbl 0474.68065
Gallier, Jean H.
1981
Constructive logics. I: A tutorial on proof systems and typed $$\lambda$$- calculi. Zbl 0772.03026
Gallier, Jean
1993
An algorithm for finding canonical sets of ground rewrite rules in polynomial time. Zbl 0779.68050
Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne
1993
Computing exponentials of skew-symmetric matrices and logarithms of orthogonal matrices. Zbl 1320.65062
Gallier, Jean; Xu, Dianna
2002
Polymorphic rewriting conserves algebraic confluence. Zbl 0820.68059
Breazu-Tannen, Val; Gallier, Jean
1994
Extending SLD resolution to equational Horn clauses using E-unification. Zbl 0668.68111
Gallier, Jean H.; Raatz, Stan
1989
Recursion-closed algebraic theories. Zbl 0472.68006
Gallier, Jean H.
1981
Tree pushdown automata. Zbl 0565.68080
Schimpf, Karl M.; Gallier, Jean H.
1985
A general complete E-unification procedure. Zbl 0641.68045
Gallier, Jean H.; Snyder, Wayne
1987
A guide to the classification theorem for compact surfaces. Zbl 1270.57001
Gallier, Jean; Xu, Dianna
2013
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II. Zbl 0461.68015
Gallier, Jean H.
1981
Rigid E-unification: NP-completeness and applications to equational matings. Zbl 0709.68080
Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne
1990
Typing untyped $$\lambda$$-terms, or reducibility strikes again! Zbl 0930.03011
Gallier, Jean
1998
Hornlog: A graph-based interpreter for general Horn clauses. Zbl 0641.68145
Gallier, Jean H.; Raatz, Stan
1987
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I. Zbl 0441.68011
Gallier, Jean H.
1981
On the existence of optimal fixpoints. Zbl 0445.06002
Gallier, Jean H.
1980
Semantics and correctness of nondeterministic flowchart programs with recursive procedures (Preliminary Report). Zbl 0382.68015
Gallier, Jean H.
1978
n-rational algebras. I. Basic properties and free algebras. Zbl 0554.68017
Gallier, Jean H.
1984
Parametric pseudo-manifolds. Zbl 1263.57016
Gallier, Jean; Xu, Dianna; Siqueira, Marcelo
2012
Discrete mathematics. Zbl 1227.05002
Gallier, Jean
2011
Linear algebra and optimization with applications to machine learning. Volume I: Linear algebra for computer vision, robotics, and machine learning. Zbl 1450.15001
Gallier, Jean; Quaintance, Jocelyn
2020
Proving properties of typed $$\lambda$$-terms using realizability, covers, and sheaves. Zbl 0873.68125
Gallier, Jean
1995
Recursion schemes and generalized interpretations (extended abstract). Zbl 0409.68014
Gallier, Jean H.
1979
Corrigendum to “DPDA’s in “atomic normal form” and applications to equivalence problems”. Zbl 0483.68048
Gallier, Jean H.
1982
n-rational algebras. II. Varieties and logic of inequalities. Zbl 0554.68018
Gallier, Jean H.
1984
Curves and surfaces in geometric modeling. Theory and algorithms. Zbl 0988.65008
Gallier, Jean
1999
Designing unification procedures using transformations: A survey. Zbl 0744.68112
Gallier, Jean H.; Snyder, Wayne
1990
Unification procedures in automated deduction methods based on matings: A survey. Zbl 0798.68151
Gallier, Jean H.
1992
Fast algorithms for testing unsatisfiability of ground Horn clauses with equations. Zbl 0641.68146
Gallier, Jean H.
1987
Differential geometry and Lie groups. A second course. Zbl 1456.53001
Gallier, Jean; Quaintance, Jocelyn
2020
The semantics of recursive programs with function parameters of finite types: n-rational algebras and logic of inequalities. Zbl 0577.68026
Gallier, Jean H.
1985
Constrained quadrilateral meshes of bounded size. Zbl 1060.65668
Ramaswami, Suneeta; Siqueira, Marcelo; Sundaram, Tessa; Gallier, Jean; Gee, James
2005
The completeness of propositional resolution: A simple and constructive proof. Zbl 1127.03008
Gallier, Jean H.
2006
Linear algebra and optimization with applications to machine learning. Volume I: Linear algebra for computer vision, robotics, and machine learning. Zbl 1450.15001
Gallier, Jean; Quaintance, Jocelyn
2020
Differential geometry and Lie groups. A second course. Zbl 1456.53001
Gallier, Jean; Quaintance, Jocelyn
2020
A guide to the classification theorem for compact surfaces. Zbl 1270.57001
Gallier, Jean; Xu, Dianna
2013
Parametric pseudo-manifolds. Zbl 1263.57016
Gallier, Jean; Xu, Dianna; Siqueira, Marcelo
2012
Geometric methods and applications. For computer science and engineering. 2nd ed. Zbl 1247.53001
Gallier, Jean
2011
Discrete mathematics. Zbl 1227.05002
Gallier, Jean
2011
The completeness of propositional resolution: A simple and constructive proof. Zbl 1127.03008
Gallier, Jean H.
2006
Constrained quadrilateral meshes of bounded size. Zbl 1060.65668
Ramaswami, Suneeta; Siqueira, Marcelo; Sundaram, Tessa; Gallier, Jean; Gee, James
2005
Computing exponentials of skew-symmetric matrices and logarithms of orthogonal matrices. Zbl 1320.65062
Gallier, Jean; Xu, Dianna
2002
Geometric methods and applications. For computer science and engineering. Zbl 1031.53001
Gallier, Jean
2001
Curves and surfaces in geometric modeling. Theory and algorithms. Zbl 0988.65008
Gallier, Jean
1999
Typing untyped $$\lambda$$-terms, or reducibility strikes again! Zbl 0930.03011
Gallier, Jean
1998
Proving properties of typed $$\lambda$$-terms using realizability, covers, and sheaves. Zbl 0873.68125
Gallier, Jean
1995
Polymorphic rewriting conserves algebraic confluence. Zbl 0820.68059
Breazu-Tannen, Val; Gallier, Jean
1994
Constructive logics. I: A tutorial on proof systems and typed $$\lambda$$- calculi. Zbl 0772.03026
Gallier, Jean
1993
An algorithm for finding canonical sets of ground rewrite rules in polynomial time. Zbl 0779.68050
Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne
1993
Theorem proving using equational matings and rigid $$E$$-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
1992
Unification procedures in automated deduction methods based on matings: A survey. Zbl 0798.68151
Gallier, Jean H.
1992
What’s so special about Kruskal’s theorem and the ordinal $$\Gamma{}_ 0$$? A survey of some results in proof theory. Zbl 0758.03025
Gallier, Jean H.
1991
Polymorphic rewriting conserves algebraic strong normalization. Zbl 0745.68065
Breazu-Tannen, Val; Gallier, Jean
1991
Rigid E-unification: NP-completeness and applications to equational matings. Zbl 0709.68080
Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne
1990
Designing unification procedures using transformations: A survey. Zbl 0744.68112
Gallier, Jean H.; Snyder, Wayne
1990
Higher-order unification revisited: Complete sets of transformations. Zbl 0682.03034
Snyder, Wayne; Gallier, Jean
1989
Complete sets of transformations for general E-unification. Zbl 0686.68024
Gallier, Jean H.; Snyder, Wayne
1989
Polymorphic rewriting conserves algebraic strong normalization and confluence. Zbl 0686.68022
Breazu-Tannen, Val; Gallier, Jean
1989
Extending SLD resolution to equational Horn clauses using E-unification. Zbl 0668.68111
Gallier, Jean H.; Raatz, Stan
1989
A general complete E-unification procedure. Zbl 0641.68045
Gallier, Jean H.; Snyder, Wayne
1987
Hornlog: A graph-based interpreter for general Horn clauses. Zbl 0641.68145
Gallier, Jean H.; Raatz, Stan
1987
Fast algorithms for testing unsatisfiability of ground Horn clauses with equations. Zbl 0641.68146
Gallier, Jean H.
1987
Logic for computer science. Foundations of automatic theorem proving. Zbl 0605.03004
Gallier, Jean H.
1986
Reductions in tree replacement systems. Zbl 0602.68072
Gallier, Jean H.; Book, Ronald V.
1985
Tree pushdown automata. Zbl 0565.68080
Schimpf, Karl M.; Gallier, Jean H.
1985
The semantics of recursive programs with function parameters of finite types: n-rational algebras and logic of inequalities. Zbl 0577.68026
Gallier, Jean H.
1985
Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Zbl 0593.68062
Dowling, William F.; Gallier, Jean H.
1984
n-rational algebras. I. Basic properties and free algebras. Zbl 0554.68017
Gallier, Jean H.
1984
n-rational algebras. II. Varieties and logic of inequalities. Zbl 0554.68018
Gallier, Jean H.
1984
Corrigendum to “DPDA’s in “atomic normal form” and applications to equivalence problems”. Zbl 0483.68048
Gallier, Jean H.
1982
DPDA’s in ’Atomic normal form’ and applications to equivalence problems. Zbl 0474.68065
Gallier, Jean H.
1981
Recursion-closed algebraic theories. Zbl 0472.68006
Gallier, Jean H.
1981
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II. Zbl 0461.68015
Gallier, Jean H.
1981
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I. Zbl 0441.68011
Gallier, Jean H.
1981
On the existence of optimal fixpoints. Zbl 0445.06002
Gallier, Jean H.
1980
Recursion schemes and generalized interpretations (extended abstract). Zbl 0409.68014
Gallier, Jean H.
1979
Semantics and correctness of nondeterministic flowchart programs with recursive procedures (Preliminary Report). Zbl 0382.68015
Gallier, Jean H.
1978
all top 5

#### Cited by 730 Authors

 15 Gallier, Jean H. 9 Ibaraki, Toshihide 7 Boros, Endre 7 Eiter, Thomas 7 Makino, Kazuhisa 7 Vágvölgyi, Sándor 6 Kleine Büning, Hans 6 Narendran, Paliath 6 Wang, Jinchang 5 Baader, Franz 5 Bonacina, Maria Paola 5 Cadoli, Marco 5 Courcelle, Bruno 5 Gallo, Giorgio 5 Hammer, Peter Ladislaw 5 Kučera, Petr 5 Lescanne, Pierre 5 Li, Wei 5 Schmidt-Schauß, Manfred 4 Aragón González, Gerardo 4 Blanqui, Frédéric 4 Čepek, Ondřej 4 Dougherty, Daniel J. 4 Fichte, Johannes Klaus 4 Franco, John V. 4 Ghilezan, Silvia 4 Gurevich, Yuri 4 Hölldobler, Steffen 4 Jouannaud, Jean-Pierre 4 Kapur, Deepak 4 Kirchner, Claude 4 Kogan, Alexander 4 Marek, V. Wiktor 4 Marques-Silva, João P. 4 Mencía, Carlos 4 Middeldorp, Aart 4 Ozdemir, Mustafa Kemal 4 Popescu, Andrei 4 Pretolani, Daniele 4 Rodríguez-Andrade, M. A. 4 Schaerf, Marco 4 Truszczyński, Mirosław 3 Ben-Eliyahu-Zohary, Rachel 3 Benson, David B. 3 Comon, Hubert 3 Degtyarev, Anatoli Ivanovich 3 Di Cosmo, Roberto 3 Ésik, Zoltán 3 Fernández, Maribel 3 Furbach, Ulrich 3 Gottlob, Georg 3 Hébrard, Jean-Jacques 3 Hegner, Stephen J. 3 Ignatyev, Alexey A. 3 Johann, Patricia 3 Kautz, Henry A. 3 Kesner, Delia 3 Likavec, Silvia 3 Luan, Shangmin 3 Meseguer Guaita, José 3 Minoux, Michel Andre 3 Okada, Mitsuhiro 3 Pfenning, Frank 3 Roşu, Grigore 3 Salomaa, Kai T. 3 Schaub, Torsten H. 3 Selman, Bart 3 Semenov, Aleksandr Anatol’evich 3 Snyder, Wayne 3 Szeider, Stefan 3 van Maaren, Hans 3 Vauzeilles, Jacqueline 3 Voronkov, Andrei 2 Alpuente, María 2 Arif, M. Fareed 2 Ausiello, Giorgio 2 Backeman, Peter 2 Barbanera, Franco 2 Barthe, Gilles 2 Basin, David A. 2 Baumgartner, Peter 2 Beckert, Bernhard 2 Bidoit, Nicole 2 Bloom, Stephen L. 2 Bundy, Alan 2 Burel, Guillaume 2 Burke, James V. 2 Cooper, Martin C. 2 Coquidé, Jean-Luc 2 Creignou, Nadia 2 Dai, Guozhong 2 de Moura, Leonardo 2 Dechter, Rina 2 Dershowitz, Nachum 2 Dezani-Ciancaglini, Mariangiola 2 Dowek, Gilles 2 Fages, François 2 Falaschi, Moreno 2 Galmiche, Didier 2 Gebser, Martin ...and 630 more Authors
all top 5

#### Cited in 100 Serials

 91 Theoretical Computer Science 41 Artificial Intelligence 34 Annals of Mathematics and Artificial Intelligence 27 Journal of Automated Reasoning 25 Discrete Applied Mathematics 24 Information Processing Letters 23 Information and Computation 14 Journal of Computer and System Sciences 14 Journal of Symbolic Computation 10 Annals of Pure and Applied Logic 6 Advances in Applied Clifford Algebras 5 Journal of Computer Science and Technology 5 Journal of Applied Non-Classical Logics 4 MSCS. Mathematical Structures in Computer Science 4 RAIRO. Informatique Théorique et Applications 4 Logical Methods in Computer Science 3 New Generation Computing 3 Formal Aspects of Computing 3 Archive for Mathematical Logic 3 Theory and Practice of Logic Programming 3 ACM Transactions on Computational Logic 3 Science China. Information Sciences 2 Acta Informatica 2 Computing 2 The Journal of Symbolic Logic 2 Mathematical Systems Theory 2 Notre Dame Journal of Formal Logic 2 Operations Research Letters 2 Computational Geometry 2 International Journal of Foundations of Computer Science 2 Linear Algebra and its Applications 2 Mathematical Programming. Series A. Series B 2 Applicable Algebra in Engineering, Communication and Computing 2 SIAM Journal on Optimization 2 Formal Methods in System Design 2 Journal of Functional Programming 2 Journal of Applied Logic 2 Logica Universalis 1 Biological Cybernetics 1 Communications in Mathematical Physics 1 Journal of Computational Physics 1 Journal of Mathematical Physics 1 Scandinavian Journal of Statistics 1 The Mathematical Intelligencer 1 Fuzzy Sets and Systems 1 Journal of Economic Theory 1 Journal of Soviet Mathematics 1 Memoirs of the American Mathematical Society 1 SIAM Journal on Control and Optimization 1 SIAM Journal on Numerical Analysis 1 Synthese 1 European Journal of Combinatorics 1 Statistics & Probability Letters 1 History and Philosophy of Logic 1 Acta Applicandae Mathematicae 1 Order 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 Computational Mechanics 1 Mathematical and Computer Modelling 1 SIAM Journal on Matrix Analysis and Applications 1 Science in China. Series A 1 Random Structures & Algorithms 1 The Annals of Applied Probability 1 Differential Geometry and its Applications 1 Discrete Event Dynamic Systems 1 Artificial Intelligence Review 1 European Journal of Operational Research 1 Journal of Dynamics and Differential Equations 1 Calculus of Variations and Partial Differential Equations 1 St. Petersburg Mathematical Journal 1 Computational and Applied Mathematics 1 NoDEA. Nonlinear Differential Equations and Applications 1 Bulletin des Sciences Mathématiques 1 Advances in Computational Mathematics 1 The Journal of Artificial Intelligence Research (JAIR) 1 The Bulletin of Symbolic Logic 1 Sbornik: Mathematics 1 Discrete and Continuous Dynamical Systems 1 Constraints 1 Mathematics and Mechanics of Solids 1 Theory of Computing Systems 1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 1 Soft Computing 1 Extremes 1 Higher-Order and Symbolic Computation 1 Nexus Network Journal 1 Journal of Nonlinear and Convex Analysis 1 Journal of Systems Science and Complexity 1 Logic and Logical Philosophy 1 Computer Languages, Systems & Structures 1 International Journal of Geometric Methods in Modern Physics 1 Optimization Letters 1 International Electronic Journal of Geometry 1 SIAM Journal on Imaging Sciences 1 Tbilisi Mathematical Journal 1 São Paulo Journal of Mathematical Sciences 1 The Review of Symbolic Logic 1 Computer Science Review 1 Journal de l’École Polytechnique – Mathématiques
all top 5

#### Cited in 42 Fields

 400 Computer science (68-XX) 180 Mathematical logic and foundations (03-XX) 21 Operations research, mathematical programming (90-XX) 18 Order, lattices, ordered algebraic structures (06-XX) 16 Combinatorics (05-XX) 13 Category theory; homological algebra (18-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 12 Numerical analysis (65-XX) 10 Differential geometry (53-XX) 8 General algebraic systems (08-XX) 8 Information and communication theory, circuits (94-XX) 7 Probability theory and stochastic processes (60-XX) 4 Partial differential equations (35-XX) 4 Global analysis, analysis on manifolds (58-XX) 4 Quantum theory (81-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Number theory (11-XX) 3 Topological groups, Lie groups (22-XX) 3 Functional analysis (46-XX) 3 Geometry (51-XX) 3 Statistics (62-XX) 3 Mechanics of particles and systems (70-XX) 3 Biology and other natural sciences (92-XX) 3 Systems theory; control (93-XX) 2 Algebraic geometry (14-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Operator theory (47-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 2 General topology (54-XX) 2 Algebraic topology (55-XX) 2 Mechanics of deformable solids (74-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX)