RT @VerifiedbyAI: Don't miss the new book "Intelligent Computer Mathematics" co-edited by AI cofounder Dr. Grant Passmore - out today in Sp…
12 followers
221 followers
Concrete Semantics with Coq and CoqHammer https://t.co/KgRgurRxJu
642 followers
"Concrete Semantics with Coq and CoqHammer. (arXiv:1808.06413v1 [cs.LO])" #arXiv https://t.co/WBcymGUog5
179 followers
Howard Cohl presenting "Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems" #cicm2018 The computer algebra system found mistakes in the DLMF no human ever discoverd before. https://t.co/eQ8ACCWcjV https://t.co/LddNQTbr