Languages
Gallier, Jean H.
Overview
Works: | 4 works in 1 publications in 1 languages |
---|
Titles
Curves and surfaces in geometric modeling : = theory and algorithms /
by:
Gallier, Jean H.
(Language materials, printed)
Linear algebra and optimization with applications to machine learning.. Vol.1,. linear algebra for computer vision, robotics, and machine learning /
by:
Gallier, Jean H.; Quaintance, Jocelyn.
(Language materials, printed)
Homology, cohomology, and sheaf cohomology for algebraic topology, algebraic geometry, and differential geometry /
by:
Quaintance, Jocelyn.; Gallier, Jean H.
(Language materials, printed)
Logic for computer science : = foundations of automatic theorem proving /
by:
Gallier, Jean H.
(Language materials, printed)
Subjects
Algebras, Linear- Data processing.
Logic, Symbolic and mathematical.
Curves, Algebraic- Data processing.
Geometry, Differential.
Robotics.
Geometry, Algebraic.
Automatic theorem proving.
Computer-aided design.
Computer science- Mathematics.
Homology theory.
Sheaf theory.
Algebraic topology.
Surfaces- Data processing.