Computational Theory and Mathematics

Part of Computer Science in the OpenAlex classification. Research topics include:

• Formal Methods in Verification
• Computational Drug Discovery Methods
• Advanced Graph Theory Research
• Optimization and Variational Analysis
• Complexity and Algorithms in Graphs
• Matrix Theory and Algorithms
• Advanced Multi-Objective Optimization Algorithms
• Rough Sets and Fuzzy Logic
• Petri Nets in System Modeling
• Polynomial and algebraic computation
• semigroups and automata theory
• Numerical Methods and Algorithms
• Advanced Algebra and Logic
• Computability, Logic, AI Algorithms
• Advanced Mathematical Modeling in Engineering
• Cellular Automata and Applications
• Chaos, Complexity, and Education
• Topological and Geometric Data Analysis
• Graph Labeling and Dimension Problems
• Adaptive Dynamic Programming Control
• Contact Mechanics and Variational Inequalities
• Quantum-Dot Cellular Automata
• Modeling and Simulation Systems
• Mathematics, Computing, and Information Processing