2013/01/01 by Leonardo de Moura, Grant Olney Passmore · 13 citations
Computer Science · Mathematics · #Algebra over a field #Algebraic extension #Algebraic number #Algorithm #Arithmetic #Computation #Computer science #Differential equation #Discrete mathematics #Generality #Infinitesimal #Lemma (botany) #Logic, programming, and type systems #Mathematical analysis #Mathematics #Numerical Methods and Algorithms #Ordinary differential equation #Polynomial and algebraic computation #Pure mathematics #Rational number #Real number #Transcendental function #Transcendental number
paper · open access · doi:10.1007/978-3-642-38574-2_12
published in Lecture Notes in Computer Science, 178-192 (Springer Berlin Heidelberg)
crossref issued 2013/01/01 · crossref published 2013/01/01 · crossref published-print 2013/01/01 · openalex publication_date 2013/01/01 · crossref created 2013/06/04 · crossref deposited 2019/07/14 · crossref indexed 2025/10/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04