This conference will present the theory and methods of symbolic compution from different angles and perspectives, as well as their applications in complex science and engineering. The conference will invite speakers to give presentations on the following concepts, methods, and themes.
State of the Art
Foundations, Conceptions, and Methodologies
Layers of the Discipline: Theories; Algorithms; Software; Applications
Spectrum of Domains: Computer Algebra; Algebraic Geometry; Geometric Computation; Symbolic Analysis; Computational Combinatorics; Symbolic-Numerics; Formal Reasoning
Interfaces with Basic Science: Mathematics; Computer Science; Artificial Intelligence
This event also aims to gather leading experts to discuss the frontiers of symbolic computation. Invited experts will share their insights through panel discussions or presentations centered on the following themes:
Scientific Research: Latest theoretical breakthroughs and innovative discoveries in symbolic computation.
Discipline Development: Perspectives on the strategic layout, academic inheritance, and sustainable growth of the field.
Application Expansion: Cross-disciplinary applications of symbolic computation in AI, cryptography, engineering control, and more.
The Program of the conference can be found below.
