Thomas Sturm

Subjects

Algebra, Artificial Intelligence (incl. Robotics), Artificial intelligence, Automatic theorem proving, Computational complexity, Computer graphics, Computer science, Congresses, Convex and Discrete Geometry, Data processing, Discrete Mathematics in Computer Science, Discrete groups, Geometry, Geometry, data processing, Informatique, Logic design, Logic, symbolic and mathematical, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software engineering, Symbolic and Algebraic Manipulation