Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145)

From MaRDI portal
scientific article; zbMATH DE number 7799836
Language Label Description Also known as
English
Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
scientific article; zbMATH DE number 7799836

    Statements

    Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (English)
    0 references
    0 references
    0 references
    0 references
    5 February 2024
    0 references
    explainable AI
    0 references
    computer algebra
    0 references
    heuristic development
    0 references
    cylindrical algebraic decomposition
    0 references
    variable ordering
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers