LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
- Updated
- Lean
#
euclidean-geometry
Here are 15 public repositories matching this topic...
Tools for estimating, completing and denoising Euclidean distance matrices
procrustes microphone-array lowrankdenoising euclidean-distances distance-matrix euclidean-geometry low-rank-matrix-recovery
- Updated
- Julia
DEPRECATED: Collection of math-related utilities developed at Body Labs
- Updated
- Python
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
topology geometry theorem-proving mathematics lean formal-verification real-analysis euclidean-geometry theorem-provings lean4 philosophical-logic philosophical-mathematics
- Updated
- Lean
New geometric definition of φ as the ratio between a decagon’s second diagonal and its radius. Includes a formal Euclidean proof and applications for efficient 3D geometry and algorithm optimization, including improved icosahedron edge–radius computation.
math open-data golden-ratio euclidean-geometry ai-training euclidean-proposicion-11-b decagon-geometry
- Updated
Symbolic projective and Euclidean geometry toolkit
research geometry computational-geometry sympy algebraic-geometry ellipse hyperbola parabola conic-section projective-geometry euclidean-geometry
- Updated
- Python
Geogebra-fork focused on extensibility and support for Euclidean Geometry.
- Updated
- Java
Its a 3D Perspective Graphing Calculator
javascript html-canvas perspective html-css-javascript metrics-visualization non-euclidean-geometry parametric-curves euclidean-geometry vector-fields parametric-surface
- Updated
- JavaScript
MATH 471, GEOMETRY FOR TEACHERS (Problem solving oriented introduction to Euclidean and non-Euclidean geometries.)
- Updated
- HTML
A triangle sharing a vertex with a ray cluster acts as a remote anchor: its apex angle compresses two constraints into one, so the ray cluster needs one fewer local angle label for unique solvability than raw degrees of freedom suggest.
geometry constraint-propagation research-notes euclidean-geometry mathematical-visualization geometric-constraints synthetic-geometry angle-chasing remote-triangle-anchor
- Updated
- TeX
dom-arrow is a web component wrapper around the leader-line npm package.
- Updated
- JavaScript
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
- Updated
- TeX
A TypeScript library that provides basic calculation functionalities related to Euclidean geometry..
- Updated
- TypeScript
Improve this page
Add a description, image, and links to the euclidean-geometry topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the euclidean-geometry topic, visit your repo's landing page and select "manage topics."