Search Results - RepositoryStats

38

201

mit

24

Proving Ground: Tools for Automated Mathematics

scala homotopy theorem-proving

Created 2013-02-20

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

45

133

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

20

57

gpl-3.0

9

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,028 commits to master branch, last one 15 hours ago