International Conference on Computer Mathematics and Cryptography ICCMC on July 19-20, 2022 in Paris, France

Submit Your Paper
International Conference on Computer Mathematics and Cryptography (ICCMC) July 19, 2022 - Paris, France
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

Name: World Academy of Science, Engineering and Technology
Website: https://waset.org/
Address: UAE

World Academy of Science, Engineering and Technology is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program.