×

Found 2 Software Packages (Results 1–2)

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)