302 citations
- Yukhnovskii Institute for Condensed Matter Physics of the National Academy of Sciences of UkraineUA63 papers
- Centre National de la Recherche ScientifiqueFR61 papers
- National Academy of Sciences of UkraineUA44 papers
- Université de LorraineFR39 papers
- Leipzig UniversityDE32 papers
- Institut Jean LamourFR22 papers
- University of BathGB21 papers
- A. Alikhanyan National LaboratoryAM19 papers
- Complexity Science HubAT15 papers
- Johannes Kepler University of LinzAT15 papers
- Heriot-Watt UniversityGB14 papers
- University of FreiburgDE14 papers
5 papers · 2 filters
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
C. Mulligan, R. Bradford, J. H. Davenport +2
We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problem…
TheoryGuru: A Mathematica Package to apply Quantifier Elimination
C. Mulligan, J. H. Davenport, M. England
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and enginee…
Machine Learning for Mathematical Software
M. England
While there has been some discussion on how Symbolic Computation could be used for AI there is little literature on applications in the other direction. However, recent results for…
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Zongyan Huang, Matthew England, David Wilson +2
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. How…
OpenMath and SMT-LIB
James H. Davenport, Matthew England, Roberto Sebastiani +1
OpenMath and SMT-LIB are languages with very different origins, but both "represent mathematics". We describe SMT-LIB for the OpenMath community and consider adaptations for both l…