Algorithmic Thomas decomposition of algebraic and differential systems (Q432753): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Detecting unnecessary reductions in an involutive basis computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the theories of triangular sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Thomas Decomposition of Algebraic and Differential Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5431984 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4227290 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing representations for radicals of finitely generated differential ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5565097 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comprehensive Triangular Decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5690494 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3156401 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On an algorithmic optimization in computation of involutive bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5486584 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On decomposition of algebraic PDE systems into simple subsystems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Involutive bases of polynomial ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal involutive bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effectiveness of involutive criteria in computation of polynomial Janet bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast search for the Janet divisor / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4425661 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4425662 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5680222 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4237622 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2747395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4282674 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parallel sparse polynomial multiplication using heaps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counting with groups and rings. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counting solutions of polynomial systems via iterated fibrations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gauss-Bruhat decomposition as an example of Thomas decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5795628 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Specializations in Differential Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract Differential Algebra and the Analytic Case / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract Differential Algebra and the Analytic Case. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Involution. The formal theory of differential equations and its applications in computer algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5585594 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decomposing polynomial systems into simple systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elimination methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4823164 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2716051 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953977 / rank
 
Normal rank

Revision as of 10:07, 5 July 2024

scientific article
Language Label Description Also known as
English
Algorithmic Thomas decomposition of algebraic and differential systems
scientific article

    Statements

    Algorithmic Thomas decomposition of algebraic and differential systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    4 July 2012
    0 references
    disjoint triangular decomposition
    0 references
    simple systems
    0 references
    polynomial systems
    0 references
    differential systems
    0 references
    involutivity
    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
    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