Examples of using dynamic constructible closure. (Q1565817): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Cylindrical Algebraic Decomposition I: The Basic Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \(n\)-roots / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3714165 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994509 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023355 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new method for solving algebraic systems of positive dimension / rank
 
Normal rank

Latest revision as of 17:12, 5 June 2024

scientific article
Language Label Description Also known as
English
Examples of using dynamic constructible closure.
scientific article

    Statements

    Examples of using dynamic constructible closure. (English)
    0 references
    27 May 2003
    0 references
    0 references
    computer algebra
    0 references
    dynamic evaluation
    0 references
    parameters
    0 references
    polynomial system
    0 references
    automatic theorem proving
    0 references