Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (Q2287902): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Importer (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W2941893175 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1904.11061 / rank
 
Normal rank

Latest revision as of 03:30, 19 April 2024

scientific article
Language Label Description Also known as
English
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
scientific article

    Statements

    Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (English)
    0 references
    0 references
    0 references
    22 January 2020
    0 references
    computer algebra
    0 references
    symbolic computation
    0 references
    non-linear real arithmetic
    0 references
    cylindrical algebraic decomposition
    0 references
    machine learning
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers