From Polynomial Invariants to Linear Loops (Q6081960): Difference between revisions

@@ Property / cites work @@
+Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
+Normal rank
@@ Property / cites work @@
+Ideals, Varieties, and Algorithms
@@ Property / cites work: Ideals, Varieties, and Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200148
@@ Property / cites work: Q5200148 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Number of Solutions of Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Polynomial invariants by linear algebra
@@ Property / cites work: Polynomial invariants by linear algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400928
@@ Property / cites work: Q4400928 / rank @@
+Normal rank
@@ Property / cites work @@
+Binomial ideals
@@ Property / cites work: Binomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421931
@@ Property / cites work: Q4421931 / rank @@
+Normal rank
@@ Property / cites work @@
+Toric varieties from cyclic matrix semigroups
@@ Property / cites work: Toric varieties from cyclic matrix semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently and effectively recognizing toricity of steady state varieties
+Normal rank
@@ Property / cites work @@
+Binomial Ideals
@@ Property / cites work: Binomial Ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Invariants for Affine Programs
@@ Property / cites work: Polynomial Invariants for Affine Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra-Based Reasoning for Loop Synthesis
@@ Property / cites work: Algebra-Based Reasoning for Loop Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Generation for Multi-Path Loops with Polynomial Assignments
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Positive margins and primary decomposition
@@ Property / cites work: Positive margins and primary decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+When is a polynomial ideal binomial after an ambient automorphism?
+Normal rank
@@ Property / cites work @@
+The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
+Normal rank
@@ Property / cites work @@
+Computing the algebraic relations of \(C\)-finite sequences and multisequences
+Normal rank
@@ Property / cites work @@
+Generalized Reduction to Compute Toric Ideals
@@ Property / cites work: Generalized Reduction to Compute Toric Ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About P-Solvable Loops
@@ Property / cites work: Reasoning Algebraically About P-Solvable Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Polynomial Loop Invariants
+Normal rank
@@ Property / cites work @@
+Rational Points on Elliptic Curves
@@ Property / cites work: Rational Points on Elliptic Curves / rank @@
+Normal rank
@@ Property / cites work @@
+Q4861423
@@ Property / cites work: Q4861423 / rank @@
+Normal rank