Differential geometry and lie groups a computational perspective von Gallier, Jean H. 1949-, Quaintance, Jocelyn

Volltext öffnen

Linear algebra and optimization with applications to machine learning von Gallier, Jean H. 1949-, Quaintance, Jocelyn

Linear algebra and optimization with applications to machine learning von Gallier, Jean H. 1949-, Quaintance, Jocelyn

Inhaltsverzeichnis

Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-

Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-

Geometric methods and applications for computer science and engineering von Gallier, Jean H. 1949-

Constructive logic von Gallier, Jean H. 1949-

Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-

Homology, cohomology, and sheaf cohomology for algebraic topology, algebraic geometry, and differential geometry von Gallier, Jean H. 1949-, Quaintance, Jocelyn

Discrete mathematics von Gallier, Jean H. 1949-

Volltext öffnen

Geometric methods and applications for computer science and engineering von Gallier, Jean H. 1949-

Curves and surfaces in geometric modeling theory and algorithms von Gallier, Jean H. 1949-

Inhaltsverzeichnis

Constructive logic von Gallier, Jean H. 1949-

Logic for computer science foundations of automat. theorem proving von Gallier, Jean H. 1949-

Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-

Semantics and correctness of classes of deterministic and nondeterministic recursive programs von Gallier, Jean H. 1949-

Differential Geometry and Lie Groups a computational perspective von Gallier, Jean H. 1949-, Quaintance, Jocelyn

Differential geometry and lie groups a second course von Gallier, Jean H. 1949-, Quaintance, Jocelyn

Linear algebra and optimization with applications to machine learning von Gallier, Jean H. 1949-, Quaintance, Jocelyn

Inhaltsverzeichnis

A guide to the classification theorem for compact surfaces von Gallier, Jean H. 1949-, Xu, Dianna

Beschreibung