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

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of symbolic computation Ročník 123; s. 102276
Hlavní autoři:	Pickering, Lynn, del Río Almajano, Tereso, England, Matthew, Cohen, Kelly
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.07.2024
ISSN:	0747-7171
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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