Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk).
Matthew EnglandPublished in: CASC (2024)
Keyphrases
- recent developments
- extended abstract
- invited talk
- quantifier elimination
- recent advances
- constraint propagation
- presburger arithmetic
- knowledge discovery and data mining
- selected papers
- constraint databases
- first order logic
- algebraic structure
- functional programming
- geographic information systems
- object oriented
- information technology
- cardinality constraints
- natural language
- database