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

Lynn Pickering, Tereso del Río, Matthew England, Kelly Cohen

Research output: Contribution to journal › Article › peer-review

10 Citations (Scopus)
96 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition'. Together they form a unique fingerprint.

Computer Science

Economics, Econometrics and Finance