Search results

• Dataset of automated economic reasoning problems for QE / SMT

  Mulligan, C. (Creator), Bradford, R. (Creator), Davenport, J. H. (Creator), England, M. (Creator) & Tonks, Z. (Creator), Zenodo, 2018

  DOI: 10.5281/zenodo.1226892, https://zenodo.org/record/1226892

  Dataset

• Dataset supporting the paper: Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

  England, M. (Creator), Errami, H. (Creator), Grigoriev, D. (Creator), Radulescu, O. (Creator), Sturm, T. (Creator) & Weber, A. (Creator), Zenodo, 2017

  DOI: 10.5281/zenodo.807678, https://zenodo.org/record/807678

  Dataset

• Software supporting the paper: "Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition"

  England, M. (Creator) & Florescu, D. (Creator), Zenodo, 2019

  DOI: 10.5281/zenodo.2658626, https://zenodo.org/record/2658626

  Dataset

• A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs

  England, M. (Contributor) & Florescu, D. (Contributor), Zenodo, 2020

  DOI: 10.5281/zenodo.3731703, https://zenodo.org/record/3731703

  Dataset

• SMT-Solving Induction Proofs of Inequalities Benchmarking Repository

  Uncu, A. K. (Creator), Davenport, J. H. (Creator) & England, M. (Creator), Zenodo, 28 Mar 2023

  DOI: 10.5281/zenodo.7777297, https://zenodo.org/record/7777297

  Dataset

• Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition

  Pickering, L. (Creator), Del Rio, T. (Creator), England, M. (Creator) & Cohen, K. (Creator), Zenodo, 9 Aug 2023

  DOI: 10.5281/zenodo.8229298, https://zenodo.org/record/8229298

  Dataset

• Data and code for the paper New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

  del Río, T. (Creator) & England, M. (Creator), Zenodo, 2022

  DOI: 10.5281/zenodo.6750528, https://zenodo.org/record/6750528

  Dataset

• Dataset supporting the paper: "A Case Study on the Parametric Occurrence of Multiple Steady States"

  Bradford, R. (Contributor), Hoyt, C. (Contributor), Radulescu, O. (Contributor), Weber, A. (Contributor), Sturm, T. (Contributor), Gerdt, V. (Contributor), Davenport, J. H. (Contributor), Grigoriev, D. (Contributor), Košta, M. (Contributor), Errami, H. (Contributor) & England, M. (Contributor), Zenodo, 25 May 2017

  DOI: 10.5281/zenodo.583280, https://zenodo.org/record/583280

  Dataset

• Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

  Bradford, R. (Creator), Davenport, J. (Creator), England, M. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015

  DOI: 10.15125/bath-00076, http://researchdata.bath.ac.uk/id/eprint/76

  Dataset

• Dataset supporting "Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases"

  Huang, Z. (Creator), England, M. (Creator), Davenport, J. H. (Creator) & Paulson, L. C. (Creator), Zenodo, 2017

  DOI: 10.5281/zenodo.343885, https://zenodo.org/record/343885

  Dataset