Fundamenta Informaticae > 2018 > Vol. 161, nr 1/2 > 9--27
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2018-1693 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Borralleras C, Lucas S, Oliveras A, Rodríguez-Carbonell E, Rubio A. SAT modulo linear arithmetic for solving polynomial constraints. Journal of Automated Reasoning, 2010. 48(1):107-131. URL http://hdl.handle.net/10251/37666.
-
[2] von zur Gathen J, Gerhard J. Modern Computer Algebra. Cambridge University Press, Cambridge, UK, 2003. ISBN: 0521826462.
-
[3] Steffens KG. The History of Approximation Theory: From Euler to Bernstein. Birkhäuser, Boston, MA, 2006. ISBN: 0-8176-4353-2.