Topic: "euclidean-geometry"
loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Language: Lean - Size: 3.57 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 98 - Forks: 8
baggepinnen/EuclideanDistanceMatrices.jl
Tools for estimating, completing and denoising Euclidean distance matrices
Language: Julia - Size: 125 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 2
lace/blmath 📦
DEPRECATED: Collection of math-related utilities developed at Body Labs
Language: Python - Size: 1.83 MB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 5
olson-sean-k/theon
Abstraction of Euclidean spaces.
Language: Rust - Size: 208 KB - Last synced at: 12 days ago - Pushed at: 5 months ago - Stars: 5 - Forks: 4
zelosleone/lean-theorems
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
Language: Lean - Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
anton-petrunin/471
MATH 471, GEOMETRY FOR TEACHERS (Problem solving oriented introduction to Euclidean and non-Euclidean geometries.)
Language: HTML - Size: 9.83 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
mstfelg/geosquared
Geogebra-fork focused on extensibility and support for Euclidean Geometry.
Language: Java - Size: 21.9 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
haztecaso/euclidean-geometry-lean
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
Language: TeX - Size: 40.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
atzlt/Metric
A TypeScript library that provides basic calculation functionalities related to Euclidean geometry..
Language: TypeScript - Size: 55.7 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
bahrus/dom-arrow
dom-arrow is a web component wrapper around the leader-line npm package.
Language: JavaScript - Size: 651 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
metabolize-forks/blmath Fork of lace/blmath 📦
DEPRECATED
Language: Python - Size: 116 KB - Last synced at: 8 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
