International Conference on Intelligent Computer Mathematics and Algebra Systems ICICMAS on February 15-16, 2022 in London, United Kingdom

Submit Your Paper
International Conference on Intelligent Computer Mathematics and Algebra Systems (ICICMAS) February 15, 2022 - London, United Kingdom
Intelligent computer mathematics
Automated theorem proving in computer algebra systems
Computer algebra in theorem proving systems
Adding reasoning capabilities to computer algebra systems
Adding computational capabilities to theorem proving systems
Theory, design and implementation of interdisciplinary systems for computer mathematics
Case studies and applications that involve a mix of computation and reasoning
Case studies in formalization of mathematical theories
Representation of mathematics in computer algebra systems
Theory exploration techniques
Combining methods of symbolic computation and formal deduction
Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems
Homotopy type theory
Infrastructure for mathematical services

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.
Description Price Date
Presenter Sign Up Fee EUR 350.00 Before January 14, 2022
Listener Sign Up Fee EUR 250.00 Before January 14, 2022