Search results

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

  Pickering, L. (Creator), del Río Almajano, 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 Almajano, T. (Creator) & England, M. (Creator), Zenodo, 2022

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

  Dataset