CISUC

Geometry Automated Theorem Provers Systems Competition 0.2 Report

Authors

Pedro Quaresma
Nuno Baeta


Keywords

Automated deduction in Geometry

TechReport Number

CISUC Technical Report, TR2019-001

Cited by

No citations found