Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited talk)
type: Item
instance of: scholarly article
title: Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited talk)
DOI: 10.1007/978-3-031-69070-9_1
author: Matthew England
publication date: 2025-01-10T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7964698
zbMATH Keywords: quantifier elimination
zbMATH Keywords: cylindrical algebraic decomposition
zbMATH Keywords: SAT
zbMATH Keywords: SMT
zbMATH Keywords: machine learning
zbMATH Keywords: explainable AI
MaRDI profile type: Publication
cites work: $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
cites work: Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
cites work: Q5503674
cites work: Truth table invariant cylindrical algebraic decomposition
cites work: Open non-uniform cylindrical algebraic decompositions
cites work: Q5301651
cites work: Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
cites work: Q4079605
cites work: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
cites work: Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
cites work: Solving Non-linear Arithmetic
cites work: Fully incremental cylindrical algebraic decomposition
cites work: Levelwise construction of a single cylindrical algebraic cell
cites work: Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
cites work: Q5792485
description: scientific article; zbMATH DE number 7964698