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

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of symbolic computation Jg. 123; S. 102276
Hauptverfasser:	Pickering, Lynn, del Río Almajano, Tereso, England, Matthew, Cohen, Kelly
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.07.2024
ISSN:	0747-7171
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	0747-7171
DOI:	10.1016/j.jsc.2023.102276