Research
SMS supports distinguished scientists, leading experts, and young researchers to conduct cooperative research and to organize academic activities in the following areas of research.
- Symbolic, algebraic, and numerical analysis and computation
- Geometric, topological, and diagrammatic computation
- Differential algebraic and geometric computation
- Number-theoretical and graph-theoretical computation
- Combinatorial and statistical computation
- Theory and paradigms of computation, computing methodologies
- Algorithm design and analysis, complexity theory
- Parallel, distributed, and high-performance computing
- System and software design and verification
- Computation with data and knowledge
- Symbolic logic, formal calculus, automated reasoning
- Formalization, representation, and management of knowledge
- Computer vision, machine learning, pattern recognition
- Data mining, information processing, knowledge discovery
- Robotics, expert systems, optimization, game theory
- Computational mathematics, physics, chemistry, and biology
- Computer graphics, computer-aided design, image processing
- Coding theory, cryptography, network and information security
- Software, data, and knowledge engineering
- Complex systems, control theory, computer-aided manufacture
©2016-2017 SMS International