Skip to content
Vinony

Automated deduction in geometry

by Hoon Hong, Stefano Spaccapietra, Dongming Wang

Cover of Automated deduction in geometry

No description available.

GeometryCongressesSymbolic and mathematical LogicData processingAutomatic theorem provingGeometry, data processingLogic, symbolic and mathematical