Sub-cubic change of ordering for Gröbner basis (Q3452391): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The Jordan Curve Theorem, Formally and Informally / rank
 
Normal rank
Property / cites work
 
Property / cites work: An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definability and decision problems in arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cylindrical algebraic decomposition using validated numerics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5807665 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Computable Numbers, with an Application to the Entscheidungsproblem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4414313 / rank
 
Normal rank

Latest revision as of 01:09, 11 July 2024

scientific article
Language Label Description Also known as
English
Sub-cubic change of ordering for Gröbner basis
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references