The Applications of Computer Algebra (ACA) conference series1 is devoted to promoting all kinds of computer algebra applications, and encouraging the interaction of developers of computer algebra systems and packages with researchers and users (including scientists, engineers, educators, and mathematicians). Topics include, but are not limited to, computer algebra in the sciences, engineering, communication, medicine, pure and applied mathematics, education and computer science.
The twenty-fourth conference in the series, ACA 2018,2 was held at University of Santiago de Compostela in Spain, June 18th–22nd, 2018. Manuel Ladra served as General Chair of ACA 2018, while Francisco Botana served as Program Chair.
James H. Davenport (University of Bath, United Kingdom), who spoke on “Applications of Computer Algebra to Verification and Satisfiability Checking”.
Vijay Ganesh (University of Waterloo, Canada), who spoke on “SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics”.
Laureano Gonzlez-Vega (University of Cantabria, Spain), who spoke on “Dealing with real algebraic curves and surfaces for discovery: from experiments to theory and applications”.
Dingkang Wang (Chinese Academy of Sciences, People’s Republic of China), who spoke on “Automatic Geometric Theorem Proving and Discovering using (Comprehensive) Groebner Bases”.
General Session
Computer Algebra Modeling in Science and Engineering
Computer Algebra in Education
Applied and Computational Algebraic Topology
Computer Algebra for Dynamical Systems and Celestial Mechanics
Computational Differential and Difference Algebra
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Dynamic Geometry and Mathematics Education
Computer Algebra in Coding Theory and Cryptography
Parametric Polynomial Systems
Algorithms for Zero-Dimensional Ideals
Numerical Differential and Polynomial Algebra
This special issue of Mathematics in Computer Science (MCS) contains 27 formally refereed articles accepted from 38 submissions of full papers presented (or related to presentations) at ACA 2018.
We wish to express our sincere thanks to the anonymous referees who provided constructive and detailed referee reports that helped the authors of accepted papers to improve them substantially. Without their hard work it would not have been possible to produce the current MCS special issue.
During the last part of the editing proccess our thoughts were, and still are, with our friend Francisco Botana and with his family. We wish him the very best during his recovery and that this time help him to recuperate and re-energize.