Automated deduction in geometryde Hoon Hong, Stefano Spaccapietra, Dongming WangMateriasGeometryCongressesSymbolic and mathematical LogicData processingAutomatic theorem provingGeometry, data processingLogic, symbolic and mathematicalEdiciones (2)
