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