Volume 14, Issue 4 | Mathematics in Computer Science

Search all Mathematics in Computer Science articles

Volume 14, Issue 4

December 2020

Special Focus on Automated Deduction in Geometry

Issue Editors:

Xiaoyu Chen,
Hongbo Li,
Jing Yang

6 articles in this issue

Foreword to the Special Focus on Automated Deduction in Geometry
Xiaoyu Chen
Hongbo Li
Jing Yang
EditorialNotes 25 June 2020 Pages: 671 - 672
Automated Deduction and Knowledge Management in Geometry
Pedro Quaresma
OriginalPaper 25 June 2020 Pages: 673 - 692
A Symbolic Dynamic Geometry System Using the Analytical Geometry Method
Philip Todd
OriginalPaper 25 June 2020 Pages: 693 - 726
Automated Detection of Interesting Properties in Regular Polygons
Zoltán Kovács
OriginalPaper Open access 25 June 2020 Pages: 727 - 755
On n-sectors of the Angles of an Arbitrary Triangle
Dongming Wang
Bo Huang
Xiaoyu Chen
OriginalPaper 26 June 2020 Pages: 757 - 773
A System for Automated Deduction in Engineering Mechanics
Philip Todd
OriginalPaper 25 June 2020 Pages: 775 - 790