Jean Gallier

发表

Logic for Computer Science

Gillier, Jean Gallier, J. Gallier, 1986 .

Theorem-proving methods for order-sorted logic

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

Making 3D binary digital images well-composed

Longin Jan Latecki, Marcelo Siqueira, Jean Gallier, 2005, IS&T/SPIE Electronic Imaging.

DPDA's in 'Atomic Normal Form' and Applications to Equivalence Problems

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

Order-Sorted Congruence Closure

Tomas Isakowitz, Jean Gallier, 1988 .

Typing Untyped Lambda-Terms, or Reducibility Strikes Again!

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

Designing Unification Procedures Using Transformations: A Survey

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

On Some Quadratic Optimization Problems Arising in Computer Vision

Jean Gallier, 2011 .

Geometric Methods and Applications: For Computer Science and Engineering

Jean Gallier, J. Gallier, 2000 .

A Computationally Efficient Approach to Trajectory Management for Coordinated Aerial Surveillance

Isaac Kaminer, Kevin D. Jones, Vijay Kumar, 2013 .

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

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

n-Rational Algebras II. Varieties and Logic of Inequalities

Jean Gallier, 1984, SIAM J. Comput..

Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time

Paliath Narendran, Wayne Snyder, Stan Raatz, 1988, CADE.

Dirichlet-Voronoi Diagrams and Delaunay Triangulations

Jean Gallier, J. Gallier, 2011 .

Coordinated Path Planning for Fixed-Wing UAS Conducting Persistent Surveillance Missions

Maxim Likhachev, Vijay Kumar, James Keller, 2017, IEEE Trans Autom. Sci. Eng..

Structure From Motion With Directional Correspondence for Visual Odometry

Stergios I. Roumeliotis, Kostas Daniilidis, Xun S. Zhou, 2011 .

Linear Algebra and Optimization with Applications to Machine Learning - Volume I: Linear Algebra for Computer Vision, Robotics, and Machine Learning

Jocelyn Quaintance, Jean Gallier, 2020, Linear Algebra Optim. Appl. Mach. Learn. I.

A Review of Point Set Topology

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

Embedding an Affine Space in a Vector Space

Jean Gallier, 2001 .

Applications of SVD and Pseudo-inverses

Jean Gallier, 2011 .

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.

Graphs, Part I: Basic Notions

Jean Gallier, 2011 .

Discrete Mathematics, Some Notes

Jean Gallier, J. Gallier, 2009 .

Geometric Methods and Applications

Jean Gallier, J. Gallier, 2011 .

Homology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry

Jocelyn Quaintance, Jean Gallier, 2021 .

Parametric pseudo-manifolds

Marcelo Siqueira, Dianna Xu, Jean Gallier, 2012 .

Basics of Affine Geometry

Jean Gallier, 2011 .

Order-Sorted Rigid E-Unification

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

Reducibility Strikes Again, I!

Jean Gallier, J. Gallier, 1993 .

The Fundamental Group, Orientability

Dianna Xu, Jean Gallier, 2013 .

Rigid E -Unification and, Its Applications to Equational Matings

Wayne Snyder, Stan Raatz, Jean Gallier, 1989 .

Ann. Pure Appl. Logic

Jean Gallier, J. Gallier, 1997 .

On the Correspondence Between Proofs and Lambda-Terms

Jean Gallier, J. Gallier, 1993 .

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

Jean Gallier, J. Gallier, 2011 .

Notes On Group Actions Manifolds, Lie Groups and Lie Algebras

Jean Gallier, J. Gallier, 2005 .

Fundamentals of Linear Algebra and Optimization

Jean Gallier, J. Gallier, 2013 .

Spherical Harmonics and Linear Representations of Lie Groups

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