Automated Deduction in Geometry
by Thomas Sturm
Logic designComputational complexityComputer graphicsDiscrete groupsComputer scienceArtificial intelligenceGeometryInformatique
Writing a summary for young readers…
For young readers
Book data: Open Library