📁 CollatzProblem

The Collatz, Syracuse or 3x+1 problem

全部 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Caldwell, Chris

http://www.utm.edu/staff/caldwell/

👍 0 详情链接

Cornut, Christophe

http://webusers.imj-prg.fr/~christophe.cornut/

👍 0 详情链接

DC Proof Online

http://www.dcproof.com/

👍 0 详情链接

Tree Proof Generator

http://www.umsu.de/logik/trees

👍 0 详情链接

PVS

http://pvs.csl.sri.com/

👍 0 详情链接

LOOM

http://www.isi.edu/isd/LOOM/LOOM-HOME.html

👍 0 详情链接

ProofPower

http://www.lemma-one.com/ProofPower/index/

👍 0 详情链接