Automated Deduction and Knowledge Management in Geometry
Article in Mathematics in Computer Science (June 2020)
The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.
Article in Mathematics in Computer Science (June 2020)
Conference proceeding (August 2014)
Article in Computer-Aided Design and Applications (February 2014)