Automated deduction in geometry
by Hoon Hong, Stefano Spaccapietra, Dongming Wang
GeometryCongressesSymbolic and mathematical LogicData processingAutomatic theorem provingGeometry, data processingLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library