Foreword to the special issue (Q1730296): Difference between revisions

@@ Property / DOI @@
-.1007/s11424-019-8000-z
@@ Property / DOI: 10.1007/s11424-019-8000-z / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11424-019-8000-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2913268452
@@ Property / OpenAlex ID: W2913268452 / rank @@
+Normal rank
@@ Property / cites work @@
+On the contribution of Wu Wen-Tsün to algebraic topology
+Normal rank
@@ Property / cites work @@
+Characteristic decomposition: from regular sets to normal sets
+Normal rank
@@ Property / cites work @@
+Hilbert problem 15 and Ritt-Wu method. I
@@ Property / cites work: Hilbert problem 15 and Ritt-Wu method. I / rank @@
+Normal rank
@@ Property / cites work @@
+Ritt-Wu characteristic set method for Laurent partial differential polynomial systems
+Normal rank
@@ Property / cites work @@
+Self-evident automated proving based on point geometry from the perspective of Wu's method identity
+Normal rank
@@ Property / cites work @@
+Automated theorem proving practice with null geometric algebra
+Normal rank
@@ Property / cites work @@
+On the mechanization of straightedge and compass constructions
+Normal rank
@@ Property / cites work @@
+A proposal for the automatic computation of envelopes of families of plane curves
+Normal rank
@@ Property / cites work @@
+Global optimization of polynomials over real algebraic sets
+Normal rank
@@ Property / cites work @@
+A hybrid procedure for finding real points on a real algebraic set
+Normal rank
@@ Property / cites work @@
+Speeding up the GVW algorithm via a substituting method
+Normal rank
@@ Property / cites work @@
+A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
+Normal rank
@@ Property / cites work @@
+The algebro-geometric method for solving algebraic differential equations -- a survey
+Normal rank
@@ Property / cites work @@
+The Ore-Sato theorem and shift exponents in the \(q\)-difference case
+Normal rank
@@ Property / cites work @@
+Elimination theory in differential and difference algebra
+Normal rank
@@ Property / cites work @@
+Conditional congruence closure over uninterpreted and interpreted symbols
+Normal rank
@@ Property / cites work @@
+Recent results on constructing Boolean functions with (potentially) optimal algebraic immunity based on decompositions of finite fields
+Normal rank
@@ Property / cites work @@
+Quantum algorithm design: techniques and applications
+Normal rank
@@ Property / DOI @@
+.1007/S11424-019-8000-Z
@@ Property / DOI: 10.1007/S11424-019-8000-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1730296