Automated Deduction in Geometry

DOI10.1007/b95516zbMath1202.68395OpenAlexW2489376520MaRDI QIDQ5902025

Bertrand Neveu, Christophe Jermann, Gilles Trombettoni

Publication date: 4 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95516

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Rigidity and flexibility of structures (aspects of discrete geometry) (52C25)

Related Items (1)

Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method

This page was built for publication: Automated Deduction in Geometry