# 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