Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Author: Thomas Sturm

Cover of Automated Deduction in Geometry

No description available.

Logic designComputational complexityComputer graphicsDiscrete groupsComputer scienceArtificial intelligenceGeometryInformatiqueCongressesData processingAutomatic theorem provingGeometry, data processing