International Conference on Computer Mathematics and Mathematical Sciences ICCMMS on July 08-09, 2023 in Prague, Czechia
Submit Your Paper
- Short Name: ICCMMS
- Event Type: Conference
- Website URL: https://waset.org/computer-mathematics-and-mathematical-sciences-conference-in-july-2023-in-prague
- Program URL: https://waset.org/conferences-in-july-2023-in-prague/program
- Location: Prague, Czechia
- Date: July 08-09, 2023
- Organization: World Academy of Science, Engineering and Technology
- Conference Tags: computer science science computer mathematics scientific computer
Computer mathematics
Numerical solution of systems or of multi-dimensional partial differential equations
Nonlocal modelling and computations
Multi-scale modelling
Quantum computing
Imaging configurations
Stochastic differential systems and uncertainty quantification
Highly vibrant and robust algorithms
Automated theorem proving
First-order logic and automated theorem proving
Machine learning and automated theorem proving
Automated theorem proving in computer algebra systems
Computer algebra in theorem proving systems
Case studies and applications that involve a mix of computation and reasoning
Representation of mathematics in computer algebra systems
Adding computational capabilities to theorem proving systems
Adding reasoning capabilities to computer algebra systems
Combining methods of symbolic computation and formal deduction
Theory, design and implementation of interdisciplinary systems for computer mathematics
Theory exploration techniques
Case studies in formalization of mathematical theories
Input languages, programming languages, types and constraint languages, and modeling languages for mechanized mathematics systems (PA, CAS, and ATP)
Infrastructure for mathematical services.
Natural deduction
Sequent calculus
Focused derivations
The inverse method
Labeled deduction
Numerical solution of systems or of multi-dimensional partial differential equations
Nonlocal modelling and computations
Multi-scale modelling
Quantum computing
Imaging configurations
Stochastic differential systems and uncertainty quantification
Highly vibrant and robust algorithms
Automated theorem proving
First-order logic and automated theorem proving
Machine learning and automated theorem proving
Automated theorem proving in computer algebra systems
Computer algebra in theorem proving systems
Case studies and applications that involve a mix of computation and reasoning
Representation of mathematics in computer algebra systems
Adding computational capabilities to theorem proving systems
Adding reasoning capabilities to computer algebra systems
Combining methods of symbolic computation and formal deduction
Theory, design and implementation of interdisciplinary systems for computer mathematics
Theory exploration techniques
Case studies in formalization of mathematical theories
Input languages, programming languages, types and constraint languages, and modeling languages for mechanized mathematics systems (PA, CAS, and ATP)
Infrastructure for mathematical services.
Natural deduction
Sequent calculus
Focused derivations
The inverse method
Labeled deduction
Name: World Academy of Science, Engineering and Technology
Website: https://waset.org/
Address: UAE