↓ Skip to main content

Mechanical Theorem Proving in Geometries

Overview of attention for book
Attention for Chapter 7: Mechanization theorems of various geometries
Altmetric Badge

Citations

dimensions_citation
78 Dimensions