This event is expired!

# International Conference on Computer Mathematics and Scientific Computing ICCMSC on August 23-24, 2022 in Rome, Italy

Submit Your Paper- Short Name:
**ICCMSC** - Event Type:
**Conference** - Website URL:
**https://waset.org/computer-mathematics-and-scientific-computing-conference-in-august-2022-in-rome** - Program URL:
**https://waset.org/conferences-in-august-2022-in-rome/program** - Contact URL:
**https://waset.org** - Location:
**Rome, Italy** - Date:
**August 23-24, 2022** - Final Submission:
**July 21, 2022** - Notification:
**September 15, 2020** - Organization:
**World Academy of Science, Engineering and Technology** - Conference Tags: computer mathematics scientific computing 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