Parametric equation solving and quantifier elimination in finite fields with the characteristic set method (Q2439880): Difference between revisions

@@ Property / cites work @@
+Some examples for solving systems of algebraic equations by calculating Gröbner bases
+Normal rank
@@ Property / cites work @@
+Q4234261
@@ Property / cites work: Q4234261 / rank @@
+Normal rank
@@ Property / cites work @@
+ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS
+Normal rank
@@ Property / cites work @@
+A new method for solving algebraic systems of positive dimension
+Normal rank
@@ Property / cites work @@
+An algorithm for solving parametric linear systems
+Normal rank
@@ Property / cites work @@
+Comprehensive Gröbner bases
@@ Property / cites work: Comprehensive Gröbner bases / rank @@
+Normal rank
@@ Property / cites work @@
+Basic principles of mechanical theorem proving in elementary geometries
+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 @@
+Q3490991
@@ Property / cites work: Q3490991 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
+Normal rank
@@ Property / cites work @@
+Q4234210
@@ Property / cites work: Q4234210 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509721
@@ Property / cites work: Q3509721 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic set algorithms for equation solving in finite fields
+Normal rank
@@ Property / cites work @@
+Attacking Bivium and Trivium with the Characteristic Set Method
+Normal rank
@@ Property / cites work @@
+A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
+Normal rank
@@ Property / cites work @@
+Q4771385
@@ Property / cites work: Q4771385 / rank @@
+Normal rank