Computer algebra methods in the study of nonlinear differential systems (Q5413125): Difference between revisions

@@ Property / cites work @@
+Topology of Liouville foliations in the Steklov and the Sokolov integrable cases of Kirchhoff's equations
+Normal rank
@@ Property / cites work @@
+Bifurcations of first integrals in the Sokolov case
+Normal rank
@@ Property / cites work @@
+The invariant manifolds of systems with first integrals
+Normal rank
@@ Property / cites work @@
+Gröbner bases and involutive methods for algebraic and differential equations
+Normal rank
@@ Property / cites work @@
+An elimination method for polynomial systems
@@ Property / cites work: An elimination method for polynomial systems / rank @@
+Normal rank
@@ Property / cites work @@
+Basic principles of mechanical theorem proving in elementary geometries
+Normal rank
@@ Property / cites work @@
+Q3838770
@@ Property / cites work: Q3838770 / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehensive Gröbner bases
@@ Property / cites work: Comprehensive Gröbner bases / rank @@
+Normal rank
@@ Property / cites work @@
+A new algorithm for discussing Gröbner bases with parameters.
+Normal rank
@@ Property / cites work @@
+Comprehensive Triangular Decomposition
@@ Property / cites work: Comprehensive Triangular Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994492
@@ Property / cites work: Q3994492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3254327
@@ Property / cites work: Q3254327 / rank @@
+Normal rank