Tarskis_Geometry Software Authors: T. J. M. Makarios Cited in: 2 Publications (2017) Related Software: Archive Formal Proofs; Mizar; Prover9; OTTER; Isabelle/HOL Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX)
Poincare_Disc Software Authors: Danijela Simić, Filip Marić, Pierre Boutry Cited in: 1 Publication (2021) Related Software: Complex_Geometry; GeoCoq; Archive Formal Proofs; Lifting; Transfer; Isabelle/Isar; … Main Fields: Computer science (68-XX)