Jean Gallier (source code)

= Jean Gallier
{c}

<Jean Gallier> is a <computer scientist> whose research connects mathematical foundations with <computer programming> and geometric applications. His earlier work includes <formal verification>, <automated deduction> and <unification>; his later interests include <computer graphics>, <computer vision>, <robotics> and the <geometry> of curves and surfaces.<Jean Gallier's research homepage>[Research Interests, before and after 1993]{ref}

His <Curves and Surfaces in Geometric Modeling: Theory and Algorithms by Jean Gallier> develops geometric constructions with explicit mathematical foundations. For example, its account of <affine maps> separates the geometry of points from the <linear maps> acting on displacement vectors, a distinction useful when describing transformations in <computer graphics>.<Curves and Surfaces in Geometric Modeling: Theory and Algorithms by Jean Gallier>[Sections 2.4 and 2.7, affine constructions]{ref}

Homepage: https://www.cis.upenn.edu/~jean/