Zobrazeno 1 - 10
of 2 538
pro vyhledávání: '"Cylindrical algebraic decomposition"'
Autor:
England, Matthew
Publikováno v:
F. Boulier, C. Mou, T.M. Sadykov, and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '24), pp. 1-10. (Lecture Notes in Computer Science, vol 14938). Springer International, 2024
This extended abstract accompanies an invited talk at CASC 2024, which surveys recent developments in Real Quantifier Elimination (QE) and Cylindrical Algebraic Decomposition (CAD). After introducing these concepts we will first consider adaptations
Externí odkaz:
http://arxiv.org/abs/2407.19781
Autor:
Chen, Rizeng
Cylindrical algebraic decomposition is a classical construction in real algebraic geometry. Although there are many algorithms to compute a cylindrical algebraic decomposition, their practical performance is still very limited. In this paper, we revi
Externí odkaz:
http://arxiv.org/abs/2311.10515
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Symbolic Computation, Volume 123, Article Number 102276. Elsevier, 2024
In recent years there has been increased use of machine learning (ML) techniques within mathematics, including symbolic computation where it may be applied safely to optimise or select algorithms. This paper explores whether using explainable AI (XAI
Externí odkaz:
http://arxiv.org/abs/2304.12154
Autor:
Baker, Hollie
A Cylindrical Algebraic Decomposition (CAD) is a decomposition of R^n into a finite collection of semialgebraic cells. A CAD satisfies the "frontier condition" if, for every cell C, there is a collection of cells of the decomposition whose union is t
Externí odkaz:
http://arxiv.org/abs/2212.12747
Autor:
del Río, Tereso, England, Matthew
Publikováno v:
In: F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '22), pp. 300-317. (Lecture Notes in Computer Science, 13366). Springer International, 2022
It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuristics inspired by complexity analysis of CAD to choose the variable ord
Externí odkaz:
http://arxiv.org/abs/2206.13480
Publikováno v:
ACM Communications in Computer Algebra 55:3 (issue 217), pp. 107-111, ACM, 2021
This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic D
Externí odkaz:
http://arxiv.org/abs/2106.08740
Cylindrical algebraic decomposition (CAD) plays an important role in the field of real algebraic geometry and many other areas. As is well-known, the choice of variable ordering while computing CAD has a great effect on the time and memory use of the
Externí odkaz:
http://arxiv.org/abs/2102.00823
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.