- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1661-8289
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Using Machine Learning to Improve Cylindrical Algebraic Decomposition ; day:3 ; month:4 ; year:2019 ; pages:1-28
Mathematics in computer science ; (3.4.2019), 1-28
- Urheber
-
Huang, Zongyan
England, Matthew
Wilson, David J.
Bridge, James
Davenport, James H.
Paulson, Lawrence C.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11786-019-00394-8
- URN
-
urn:nbn:de:101:1-2019042319362351170001
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:03 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Huang, Zongyan
- England, Matthew
- Wilson, David J.
- Bridge, James
- Davenport, James H.
- Paulson, Lawrence C.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Algebraic domain decomposition
Algebraic domain decomposition
Cylindrical decomposition under application-oriented paradigms
Levelwise construction of a single cylindrical algebraic cell
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Levelwise construction of a single cylindrical algebraic cell
Algebraic decomposition of individual choice behavior
Categorical decomposition techniques in algebraic topology
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Counting solutions of algebraic systems via triangular decomposition
Counting solutions of algebraic systems via triangular decomposition
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Algebraic domain decomposition
Algebraic domain decomposition
Cylindrical decomposition under application-oriented paradigms
Levelwise construction of a single cylindrical algebraic cell
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Levelwise construction of a single cylindrical algebraic cell
Algebraic decomposition of individual choice behavior
Categorical decomposition techniques in algebraic topology
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Counting solutions of algebraic systems via triangular decomposition
Counting solutions of algebraic systems via triangular decomposition
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Algebraic domain decomposition
Algebraic domain decomposition
Cylindrical decomposition under application-oriented paradigms
Levelwise construction of a single cylindrical algebraic cell
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Levelwise construction of a single cylindrical algebraic cell
Algebraic decomposition of individual choice behavior
Categorical decomposition techniques in algebraic topology
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Counting solutions of algebraic systems via triangular decomposition