Automated theorem proving for special functions

DOI10.1145/2631948.2631950zbMath1346.68176DBLPconf/snc/Paulson14OpenAlexW2036770435WikidataQ57382553 ScholiaQ57382553MaRDI QIDQ2819703

Lawrence Charles Paulson

Publication date: 29 September 2016

Published in: Proceedings of the 2014 Symposium on Symbolic-Numeric Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2631948.2631950

zbMATH Keywords

theorem provingdecision procedures

Mathematics Subject Classification ID

Uses Software

• Coq
• Isabelle
• MetiTarski
• QEPCAD
• Isabelle/HOL
• OTTER
• PVS

This page was built for publication: Automated theorem proving for special functions