GeoCoq / GeoCoq Star 176 Code Issues Pull requests A formalization of geometry in Coq based on Tarski's axiom system geometry euclid coq formalization elements archimedes tarski-axiom hilbert-axioms desargues pappus parallel-postulate continuity Updated May 31, 2024 Coq
PeterSoyfer / computational-geometry Star 1 Code Issues Pull requests Projects in C++, Python and Mathematica regarding numerical modeling of geometrical objects cplusplus cpp curves geometry plotting numerical-methods numerical-analysis wolfram-mathematica desargues projective-geometry parametric-curves parametric-modelling theoretical-mechanics Updated Sep 28, 2023 Mathematica