euclidean-geometry

There are 11 repositories under euclidean-geometry topic.

loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Language:Lean108 7 16
baggepinnen/EuclideanDistanceMatrices.jl
Tools for estimating, completing and denoising Euclidean distance matrices
Language:Julia8 1 32
lace/blmath
DEPRECATED: Collection of math-related utilities developed at Body Labs
Language:Python8 19 25
olson-sean-k/theon
Abstraction of Euclidean spaces.
Language:Rust6 2 44
zelosleone/lean-theorems
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
Language:Lean4 1 00
atzlt/Metric
A TypeScript library that provides basic calculation functionalities related to Euclidean geometry..
Language:TypeScript0 1 00
haztecaso/euclidean-geometry-lean
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
Language:TeX0 2 00
mstfelg/geosquared
Geogebra-fork focused on extensibility and support for Euclidean Geometry.
Language:Java0 1 00
anton-petrunin/471
MATH 471, GEOMETRY FOR TEACHERS (Problem solving oriented introduction to Euclidean and non-Euclidean geometries.)
Language:HTML
bahrus/dom-arrow
dom-arrow is a web component wrapper around the leader-line npm package.
Language:JavaScript3 01
metabolize-forks/blmath
DEPRECATED
Language:Python1 0