LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

Tools for estimating, completing and denoising Euclidean distance matrices

DEPRECATED: Collection of math-related utilities developed at Body Labs

Abstraction of Euclidean spaces.

A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.

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.

Symbolic projective and Euclidean geometry toolkit

MATH 471, GEOMETRY FOR TEACHERS (Problem solving oriented introduction to Euclidean and non-Euclidean geometries.)

Geogebra-fork focused on extensibility and support for Euclidean Geometry.

Its a 3D Perspective Graphing Calculator

dom-arrow is a web component wrapper around the leader-line npm package.

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.

Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.

A TypeScript library that provides basic calculation functionalities related to Euclidean geometry..

DEPRECATED