Theorem provers - HaskellWiki
january 2011 by stuhlmueller
Tools for formal reasoning, written in Haskell.
haskell
mathematics
logic
january 2011 by stuhlmueller
Homotopy Continuation (pdf)
january 2011 by stuhlmueller
Homotopy continuation is an approach to solving a system of equations by annealing between the solution of a known system and the system of interest.
mathematics
polynomials
algorithms
january 2011 by stuhlmueller
Reverse Mathematics
september 2008 by stuhlmueller
A program in mathematical logic that seeks to determine which axioms are required to prove certain theorems of mathematics.
mathematics
logic
wikipedia
september 2008 by stuhlmueller
Copy this bookmark: