Search Results - "del Río Almajano, Tereso" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

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

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

by Pickering, Lynn, del Río Almajano, Tereso, England, Matthew, Cohen, Kelly
Published in Journal of symbolic computation (01.07.2024)

Get full text

Journal Article

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

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

by Pickering, Lynn, Tereso Del Rio Almajano, England, Matthew, Cohen, Kelly
Published in arXiv.org (29.08.2023)

Get full text

Paper Journal Article