2010/07/01 by Tobias Nipkow · 2 citations
Computer Science · Mathematics · #Algebra over a field #Algorithm #Arithmetic #Artificial intelligence #Automated theorem proving #Computer science #Discrete mathematics #Executable #Formal Methods in Verification #Gas meter prover #HOL #Integer (computer science) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical proof #Mathematics #Modular design #Programming language #Pure mathematics #Quantifier (linguistics) #Quantifier elimination #Reflection (computer programming)
paper · doi:10.1007/s10817-010-9183-0
openalex publication_date 2010/07/01 · crossref created 2010/07/01 · crossref issued 2010/07/02 · crossref published 2010/07/02 · crossref published-online 2010/07/02 · crossref published-print 2010/08/01 · crossref deposited 2019/05/31 · openalex created_date 2025/10/10 · crossref indexed 2026/04/16 · openalex updated_date 2026/07/29