Examples of using dynamic constructible closure. (Q1565817): Difference between revisions
From MaRDI portal
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 16: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
computer algebra
0 references
dynamic evaluation
0 references
parameters
0 references
polynomial system
0 references
automatic theorem proving
0 references