Foreword to the special issue

DOI10.1007/S11424-019-8000-ZzbMath1407.00033OpenAlexW2913268452MaRDI QIDQ1730296

No author found.

Publication date: 6 March 2019

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-019-8000-z

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to algebraic topology (55-06)

Cites Work

• On the contribution of Wu Wen-Tsün to algebraic topology
• Characteristic decomposition: from regular sets to normal sets
• Hilbert problem 15 and Ritt-Wu method. I
• Ritt-Wu characteristic set method for Laurent partial differential polynomial systems
• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• Automated theorem proving practice with null geometric algebra
• On the mechanization of straightedge and compass constructions
• A proposal for the automatic computation of envelopes of families of plane curves
• Global optimization of polynomials over real algebraic sets
• A hybrid procedure for finding real points on a real algebraic set
• Speeding up the GVW algorithm via a substituting method
• A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
• The algebro-geometric method for solving algebraic differential equations -- a survey
• The Ore-Sato theorem and shift exponents in the \(q\)-difference case
• Elimination theory in differential and difference algebra
• Conditional congruence closure over uninterpreted and interpreted symbols
• Recent results on constructing Boolean functions with (potentially) optimal algebraic immunity based on decompositions of finite fields
• Quantum algorithm design: techniques and applications

This page was built for publication: Foreword to the special issue