Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with euclidean-geometry
A curated list of projects in awesome lists tagged with euclidean-geometry .
https://github.com/loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
autoformalization euclidean-geometry formalization lean4 llm-evaluation theorem-proving
Last synced: 29 Nov 2024
https://github.com/baggepinnen/euclideandistancematrices.jl
Tools for estimating, completing and denoising Euclidean distance matrices
distance-matrix euclidean-distances euclidean-geometry low-rank-matrix-recovery lowrankdenoising microphone-array procrustes
Last synced: 21 Nov 2024
https://github.com/bahrus/dom-arrow
dom-arrow is a web component wrapper around the leader-line npm package.
custom-element custom-elements euclid euclidean-geometry leader-line web-component web-components
Last synced: 06 Dec 2024
https://github.com/zelosleone/lean-theorems
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
euclidean-geometry formal-verification geometry lean lean4 mathematics philosophical-logic philosophical-mathematics real-analysis theorem-proving theorem-provings topology
Last synced: 16 Nov 2024
