Klein-Beltrami Model. Part I
Work
Year: 2018
Type: article
Abstract: Summary Tim Makarios (with Isabelle/HOL 1 ) and John Harrison (with HOL-Light 2 ) shown that “the Klein-Beltrami model of the hyperbolic plane satisfy all of Tarski’s axioms except his Euclidean axiom... more
Source: Formalized Mathematics
Author Roland Coghetto
Cites: 11
Cited by: 6
Related to: 10
FWCI: 1.26
Citation percentile (by year/subfield): 77.59
Topic: Mathematics and Applications
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: gold