scientific article; zbMATH DE number 3839873
From MaRDI portal
Publication:3309635
Cited in
(14)- From line-systems to sphere-systems -- Schläfli's double six, Lie's line-sphere transformation, and Grace's theorem
- Subdividing a graph toward a unit-distance graph in the plane
- Exploratory experimentation: digitally-assisted discovery and proof
- From exploration to proof production
- Principles of task design for conjecturing and proving
- Minkowski Geometry—Some Concepts and Recent Developments
- Tangent spheres of tetrahedra and a theorem of Grace
- 3D Generalisations of Viviani's theorem
- An analytic proof of a theorem of Grace
- Up the Hill and Down Again
- Two random walks on the open cluster of \(\mathbb Z^{2}\) meet infinitely often
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
- Reconnecting logic with discovery
- Duality and the Descartes deficiency
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3309635)
