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

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