J. Gallier

发表

Quadratic Optimization Problems

J. Gallier, 2020, Linear Algebra and Optimization with Applications to Machine Learning.

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

J. Gallier, D. Xu, 2002 .

On Girard's "Candidats de Reductibilité"

J. Gallier, 1989 .

Constructive Logics. Part II: Linear Logic and Proof Nets

J. Gallier, 1991 .

Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae

Jean H. Gallier, William F. Dowling, W. F. Dowling, 1984, J. Log. Program..

The Cartan–Dieudonné Theorem

J. Gallier, 2011 .

A Proof of Strong Normalization for the Theor y of Constructions Using a Kripke-like Interpretation

J. Gallier, T. Coquand, 1990 .

Semantic Word Clusters Using Signed Spectral Clustering

Dean P. Foster, Lyle H. Ungar, João Sedoc, 2017, ACL.

Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations

J. Gallier, 2008, 0805.0292.

Basics of Algebra, Topology, and Dierential Calculus

J. Gallier, 2014 .

Fundamentals of Linear Algebra and Optimization

Jean Gallier, J. Gallier, 2013 .

Basics of Euclidean Geometry

J. Gallier, 2011 .

Differential Geometry and Lie Groups

J. Gallier, J. Quaintance, 2020, Geometry and Computing.

Differential Geometry and Lie Groups

J. Gallier, J. Quaintance, 2020, Geometry and Computing.

Notes on Dierential Geometry and Lie Groups

J. Gallier, 2011 .

Construction of C ∞ Surfaces From Triangular Meshes Using Parametric Pseudo-Manifolds

J. Gallier, M. Siqueira, Dianna Xu, 2008 .

Basics of the Differential Geometry of Surfaces

J. Gallier, 2011 .

Kripke Models for the Second-Order A-Calculus Preliminary Version

J. Gallier, 2011 .

Realizability, Covers, and Sheaves II. Applications to the Second-Order Lambda-Calculus

J. Gallier, 1993 .

Kripke Models for the Second-Order A-Calculus MS-CIS-93-48 LOGIC & COMPUTATION 66

J. Gallier, 2014 .

A Note On Logical PERs and Reducibility Logical Relations strike again!

J. Gallier, 1998 .

Kripke Models for the Second-Order Lambda-Calculus

J. Gallier, 1993 .

Basics of Manifolds and Classical Lie Groups: The Exponential Map, Lie Groups, and Lie Algebras

J. Gallier, 2011 .

Vector Fields, Lie Derivatives, Integral Curves, and Flows

J. Gallier, J. Quaintance, 2020 .

Logarithms and Square Roots of Real Matrices

J. Gallier, 2008, 0805.0245.

Curves and surfaces in geometric modeling: theory and algorithms

J. Gallier, 1999 .

Reducibility Strikes Again , I ! MS-CIS-93-49 LOGIC & COMPUTATION 67

J. Gallier, 2014 .

On the Correspondence Between Proofs and Lambda-Terms

Jean Gallier, J. Gallier, 1993 .

Proving Properties of Typed λ-Terms Using Realizability , Covers , and Sheaves

J. Gallier, 2003 .

Some Counting Problems; Multinomial Coefficients, The Principle of Inclusion–Exclusion, Sylvester’s Formula, The Sieve Formula

Jean Gallier, J. Gallier, 2011 .

Ann. Pure Appl. Logic

Jean Gallier, J. Gallier, 1997 .

Graphs, Part II: More Advanced Notions

J. Gallier, 2011 .

Fundamentals of Linear Algebra and Optimization CIS 515 , Some Slides

J. Gallier, 2013 .

Groups and Group Actions

J. Gallier, J. Quaintance, 2020, Differential Geometry and Lie Groups.

The Matrix Exponential: Some Matrix Lie Groups

J. Gallier, J. Quaintance, 2020, Differential Geometry and Lie Groups.

Topological Repairing of 3 D Digital Images

J. Gee, N. Tustison, J. Gallier, 2007 .

Basics of Projective Geometry

J. Gallier, 2011 .

The Classification Theorem for Compact Surfaces

J. Gallier, Dianna Xu, 2013 .

On the Correspondence Between Proofs and -Terms

J. Gallier, 1995 .

Realizability, Covers, and Sheaves I. Application to the Simply-Typed Lambda-Calculus

J. Gallier, 1993 .

Basics of Classical Lie Groups: The Exponential Map, Lie Groups, and Lie Algebras

J. Gallier, 2001 .

Computing Exponentials of Real Matrices Diagonalizable Over C

J. Gallier, 2006 .

Spectral Theorems in Euclidean and Hermitian Spaces

J. Gallier, 2020, Linear Algebra and Optimization with Applications to Machine Learning.

Logic for Computer Science

Gillier, Jean Gallier, J. Gallier, 1986 .

Mathematical Reasoning, Proof Principles, and Logic

J. Gallier, 2011 .

Geometric Methods and Applications

Jean Gallier, J. Gallier, 2011 .

Solving the Elastic Net and Lasso Regression Problems

J. Gallier, J. Quaintance, 2022 .

Linear Algebra and Optimization with Applications to Machine Learning - Volume II: Fundamentals of Optimization Theory with Applications to Machine Learning

Jocelyn Quaintance, Jean Gallier, J. Gallier, 2020, Linear Algebra and Optimization with Applications to Machine Learning, Volume II.

Theorem-proving methods for order-sorted logic

Tomas Isakowitz, Jean Gallier, J. Gallier, 1989 .

Spherical Harmonics and Linear Representations of Lie Groups

Jocelyn Quaintance, Jean Gallier, J. Gallier, 2009 .

Analysis and Simulation of Biomedical Images

Johan Montagnat, Hervé Delingette, Luc Soler, 2006 .

Notes on Convex Sets, Polytopes, Polyhedra,

Delaunay Triangulations, J. Gallier, 2008 .

Clifford Algebras, Clifford Groups, and the Groups Pin(n) and Spin(n)

J. Gallier, J. Quaintance, 2020 .

Remarks on the Cayley Representation of Orthogonal Matrices and on Perturbing the Diagonal of a Matrix to Make it Invertible

J. Gallier, 2006, math/0606320.

The Quaternions and the Spaces S 3 , SU(2), SO(3), and ℝ ℙ 3

J. Gallier, 2011 .

Mesh generation from imaging data

J. Gallier, M. Siqueira, 2006 .

Constrained quadrilateral meshes of bounded size

James C. Gee, Marcelo Siqueira, Jean H. Gallier, 2005, Int. J. Comput. Geom. Appl..

Polymorphic Rewriting Conserves Algebraic Strong Normalization

Val Tannen, Jean H. Gallier, J. Gallier, 1991, Theor. Comput. Sci..

Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence Val Tannen

Val Tannen, Jean H. Gallier, J. Gallier, 2011 .

Spectral Theory of Unsigned and Signed Graphs. Applications to Graph Clustering: a Survey pdf

Jean Gallier, J. Gallier, 2016, ArXiv.

Tree Pushdown Automata

Jean H. Gallier, Karl M. Schimpf, J. Gallier, 1985, J. Comput. Syst. Sci..

A new construction of smooth surfaces from triangle meshes using parametric pseudo-manifolds

Luiz Velho, Luis Gustavo Nonato, Marcelo Siqueira, 2009, Comput. Graph..

Discrete Mathematics, Some Notes

Jean Gallier, J. Gallier, 2009 .

Unification procedures in automated deduction methods based on matings: A survey

Jean H. Gallier, J. Gallier, 1992, Tree Automata and Languages.

Schur Complements and Applications

J. Gallier, 2011 .

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.

Jean H. Gallier, J. Gallier, 2012 .

What's So Special About Kruskal's Theorem and the Ordinal Gamma0? A Survey of Some Results in Proof Theory

Jean H. Gallier, J. Gallier, 1991, Ann. Pure Appl. Log..

Theorem proving using equational matings and rigid E-unification

Paliath Narendran, Wayne Snyder, Jean H. Gallier, 1992, JACM.

Exact Computation Sequences

Jean H. Gallier, Alex Pelin, J. Gallier, 1986, CAAP.

Solving Word Problems in Free Algebras Using Complexity Functions

Jean H. Gallier, Alex Pelin, J. Gallier, 1984, CADE.

Contour cut: Identifying salient contours in images by solving a Hermitian eigenvalue problem

Jianbo Shi, Jean H. Gallier, Ryan Kennedy, 2011, CVPR 2011.

Notes on the Schur Complement

J. Gallier, 2010 .

Geometric Methods and Applications: For Computer Science and Engineering

Jean Gallier, J. Gallier, 2000 .

Dirichlet-Voronoi Diagrams and Delaunay Triangulations

Jean Gallier, J. Gallier, 2011 .

Partitions of Unity and Covering Maps $$\circledast $$

Jocelyn Quaintance, Jean Gallier, J. Gallier, 2020 .

A Review of Point Set Topology

Jocelyn Quaintance, Jean Gallier, J. Gallier, 2020, Differential Geometry and Lie Groups.

Singular Value Decomposition (SVD) and Polar Form

J. Gallier, 2011 .

Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions

J. Gallier, 2008, 0805.0311.

A Guide to the Classification Theorem for Compact Surfaces

Dianna Xu, Jean Gallier, J. Gallier, 2013, Geometry and Computing.

Discrete Mathematics for Computer Science, Some Notes pdf

Jean H. Gallier, J. Gallier, 2008, ArXiv.

On the Correspondence Between Proofs and -Terms

J. Gallier, 1995 .

Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi

Jean Gallier, J. Gallier, Jean H. Gallier, 1993, Theor. Comput. Sci..

Extending SLD Resolution to Equational Horn Clauses using E-Unification

Jean H. Gallier, Stan Raatz, J. Gallier, 1989, J. Log. Program..

Continuation Semantics for Flowgraph Equations

Jean H. Gallier, William F. Dowling, W. F. Dowling, 1986, Theor. Comput. Sci..

Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II

Jean H. Gallier, J. Gallier, 1981, Theor. Comput. Sci..

Notes on Public Key Cryptography And Primality Testing Part 1: Randomized Algorithms Miller{Rabin and Solovay{Strassen Tests

J. Gallier, 2016 .

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

J. Gallier, 2011 .

Logic for Computer Science: Foundations of Automatic Theorem Proving

Jean H. Gallier, J. Gallier, 1985 .

Typing Untyped Lambda-Terms, or Reducibility Strikes Again!

Jean Gallier, J. Gallier, Jean H. Gallier, 1995 .

Typing untyped λ -terms, or Reducibility strikes again! Typing untyped -terms, or Reducibility strikes again!

J. Gallier, 2021 .

Typing untyped A-terms , or Reducibility strikes again ! MS-CIS-94-59 LOGIC & COMPUTATION 88

J. Gallier, 2014 .

Reducibility Strikes Again, I!

Jean Gallier, J. Gallier, 1993 .

Topological Evolution of Surfaces

Douglas DeCarlo, Jean H. Gallier, J. Gallier, 1996, Graphics Interface.

Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves

Jean H. Gallier, J. Gallier, 1995, Theor. Comput. Sci..

Proving Properties of Typed A-Terms Using Realizability , Covers , and Sheaves MS-CIS-94-60 LOGIC & COMPUTATION 89

J. Gallier, 2014 .

Complete Sets of Transformations for General E-Unification

Wayne Snyder, Jean H. Gallier, J. Gallier, 1989, Theor. Comput. Sci..

Theorem Proving Using Rigid E-Unification Equational Matings

Wayne Snyder, Jean H. Gallier, Stan Raatz, 1987, LICS.

Topological Repairing of 3D Digital Images

James C. Gee, Longin Jan Latecki, Nicholas J. Tustison, 2008, Journal of Mathematical Imaging and Vision.

Topological Repairing of 3 D Digital Images

Longin Jan Latecki, J. Gee, N. Tustison, 2007 .

Two Efficient Solutions for Visual Odometry Using Directional Correspondence

Stergios I. Roumeliotis, Kostas Daniilidis, Jean H. Gallier, 2012, IEEE Transactions on Pattern Analysis and Machine Intelligence.

Parametric pseudo-manifolds

Marcelo Siqueira, Dianna Xu, Jean Gallier, 2012 .

Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus

Jean H. Gallier, J. Gallier, 1997, Ann. Pure Appl. Log..

The Classification Theorem for Compact Surfaces and a Detour on Fractals

J. Gallier, 2008, 0805.0562.

A simple method for drawing a rational curve as two Bézier segments

Jean H. Gallier, J. Gallier, 1999, TOGS.

Reductions in Tree Replacement Systems

Jean H. Gallier, Ronald V. Book, R. V. Book, 1985, Theor. Comput. Sci..

Metrics, Connections, and Curvature on Lie Groups

J. Gallier, J. Quaintance, 2020 .

Logic for computer scientists

Richard Statman, Robert L. Constable, John C. Cherniavsky, 1989 .

Geodesics on Riemannian Manifolds

J. Gallier, J. Quaintance, 2020 .

Quadratic Optimization and Contour Grouping

J. Gallier, 2011 .

On the existence of optimal fixpoints

Jean H. Gallier, J. Gallier, 1979, Mathematical systems theory.

Polymorphic Rewriting Conserves Algebraic Confluence

Val Tannen, Jean H. Gallier, J. Gallier, 1994, Inf. Comput..

Polymorphic Rewriting Conserves Algebraic Strong Normalization MS-CIS-90-36 LOGIC & COMPUTATION 19

J. Gallier, V. Tannen, 2015 .

Notes On Group Actions Manifolds, Lie Groups and Lie Algebras

Jean Gallier, J. Gallier, 2005 .

Higher-Order Unification Revisited: Complete Sets of Transformations

Wayne Snyder, Jean H. Gallier, J. Gallier, 1989, J. Symb. Comput..

Order-Sorted Rigid E-Unification

Tomas Isakowitz, Jean Gallier, J. Gallier, 1991 .

Two Efficient Solutions for Visual Odometry Using Directional Correspondence

Kostas Daniilidis, J. Gallier, S. Roumeliotis, 2012, IEEE Transactions on Pattern Analysis and Machine Intelligence.

Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I

Jean H. Gallier, J. Gallier, 1981, Theoretical Computer Science.

Proving Properties of Typed Lambda-Terms Using Realizability, Covers, and Sheaves (Preliminary Version)

J. Gallier, 1993 .

Simple Methods For Drawing Rational Surfaces as Four or Six Bezier Patches pdf

Jean H. Gallier, J. Gallier, 2006, ArXiv.

Recursion-Closed Algebraic Theories

Jean H. Gallier, J. Gallier, 1981, J. Comput. Syst. Sci..

Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations

Jean H. Gallier, J. Gallier, 1987, J. Symb. Comput..

Randomized Algorithms

Longin Jan Latecki, J. Gee, N. Tustison, 2000 .

Designing Unification Procedures Using Transformations: A Survey

Wayne Snyder, Jean Gallier, J. Gallier, 1992 .

Introduction to Manifolds and Lie Groups

J. Gallier, J. Quaintance, 2020 .

Manifolds Arising from Group Actions

J. Gallier, J. Quaintance, 2020 .

Lie Groups, Lie Algebras, and the Exponential Map

J. Gallier, J. Quaintance, 2020 .

Differential Forms

J. Gallier, J. Quaintance, 2020, Differential Geometry and Lie Groups.

An algorithm for finding canonical sets of ground rewrite rules in polynomial time

Paliath Narendran, Wayne Snyder, David A. Plaisted, 1993, JACM.

Typing Untyped lambda-Terms, or Reducibility Strikes Again!

J. Gallier, 1998, Ann. Pure Appl. Log..

Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence

J. Gallier, V. Tannen, 1989, ICALP.

Realizability, Covers, and Sheaves I. Application to the Simply-Typed Lambda-Calculus

J. Gallier, 1993 .

Notes on Elementary Spectral Graph Theory. Applications to Graph Clustering Using Normalized Cuts pdf

Jean H. Gallier, J. Gallier, 2013, ArXiv.

Curves and surfaces in geometric modeling: theory and algorithms

J. Gallier, 1999 .