Foreword to the special issue

DOI10.1007/S11424-019-8000-ZMaRDI QIDQ1730296zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• scientific article; zbMATH DE number 1555236
• Preface
• Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC'05, Beijing, China, July 24--27, 2005.
• scientific article; zbMATH DE number 1782448
• A decision method for certain algebraic geometry problems

Cites work

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

Cited in

(6)

• Foreword for the special issue on CMMSE 2017
• Foreword to special issue for ISAIM 2018
• Foreword to the proceedings of the OrthoQuad 2014 conference
• Foreword: Special issue dedicated to the memory of Professor John Barratt Moore
• International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization
• Foreword: special issue on structure transformation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1730296)