3 ms·
Computers are useful in maths, and like all tools, will always have limitations. Two solutions for very different facets: GNU multiprecision arithmetic library
by khandekars 17y ago
Computers are useful in maths, and like all tools, will always have limitations. Two solutions for very different facets:
GNU multiprecision arithmetic library - http://gmplib.org/ http://gmplib.org/
Coq Proof Assistant - http://www.lix.polytechnique.fr/coq/ http://www.lix.polytechnique.fr/coq/