Jean H. Gallier

Jean H. Gallier

Jean H. Gallier is a professor at Computer and Information Science DepartmentSchool of Engineering and Applied ScienceUniversity of Pennsylvania. His research interests include geometry and its applications (3D graphics, computer vision), geometric modeling, geometry of curves and surfaces, algebraic geometry, differential geometry, and medical imaging.

Back to all authors

Books Authored by Jean H. Gallier

Discrete Mathematics, Second Edition

Post date: 13 Jul 2016
A book about discrete mathematics which also discusses mathematical reasoning and logic.
Publication date: 22 Apr 2016
 
Discrete Mathematics, Second Edition

Discrete Mathematics, Second Edition

Post date: 13 Jul 2016
A book about discrete mathematics which also discusses mathematical reasoning and logic.
Publication date: 22 Apr 2016


Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook
 
Logic For Computer Science - Foundations of Automatic Theorem Proving

Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook


Book Categories
Sponsors
Icons8, a free icon pack