Search Results - RepositoryStats

38

204

mit

24

Proving Ground: Tools for Automated Mathematics

scala homotopy theorem-proving

Created 2013-02-20

4,300 commits to master branch, last one 3 years ago

46

141

unknown

12

Source code for lecture notes

lie sets logic notes truth axioms curves dynkin bundles physics algebras geometry homotopy topology manifolds classification

Created 2017-11-05

30 commits to master branch, last one 5 years ago

21

61

gpl-3.0

11

The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

homotopy gpu-acceleration algebraic-geometry parallel-computing polynomial-systems homotopy-continuation-methods

Created 2013-09-26

7,085 commits to master branch, last one 3 days ago