Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: 10.1016/j.jlamp.2020.100633
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2020
- Creator
- DOI
-
10.18154/RWTH-2021-02922
- URN
-
urn:nbn:de:101:1-2021032502275042459250
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ábrahám, Erika
- Davenport, James H.
- England, Matthew
- Kremer, Gereon
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2020
Other Objects (12)
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Arithmetic algebraic geometry :
Arithmetic algebraic geometry
Arithmetic and algebraic hyperbolicity
Arithmetic and Algebraic Geometry: Introduction
Logotax : consistency of arithmetic proven with games
Analytic arithmetic in algebraic number fields
Levelwise construction of a single cylindrical algebraic cell
Levelwise construction of a single cylindrical algebraic cell
Conjectures in arithmetic algebraic geometry : a survey
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Arithmetic algebraic geometry :
Arithmetic algebraic geometry
Arithmetic and algebraic hyperbolicity
Arithmetic and Algebraic Geometry: Introduction
Logotax : consistency of arithmetic proven with games
Analytic arithmetic in algebraic number fields
Levelwise construction of a single cylindrical algebraic cell
Levelwise construction of a single cylindrical algebraic cell
Conjectures in arithmetic algebraic geometry : a survey
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Arithmetic algebraic geometry :
Arithmetic algebraic geometry
Arithmetic and algebraic hyperbolicity
Arithmetic and Algebraic Geometry: Introduction
Logotax : consistency of arithmetic proven with games
Analytic arithmetic in algebraic number fields
Levelwise construction of a single cylindrical algebraic cell
Levelwise construction of a single cylindrical algebraic cell