scientific article; zbMATH DE number 6984221
From MaRDI portal
Publication:4556039
zbMath1425.68377MaRDI QIDQ4556039
Predrag Janičić, Julien Narboux, Jacques D. Fleuriot
Publication date: 23 November 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Proof-checking Euclid ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
Uses Software