A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
77,852 visible repositories in the index
1–3 of 3 · Most stars
Practical volume computation and sampling in high dimensions
- geometry
- statistics
- polyhedral-computations
- random-walk
The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.