International Conference on Computationally Assisted Mathematical Discovery and Experimental Mathematics ICCAMDEM on September 20-21, 2022 in Lisbon, Portugal

Submit Your Paper
International Conference on Computationally Assisted Mathematical Discovery and Experimental Mathematics (ICCAMDEM) September 20, 2022 - Lisbon, Portugal
Computational discovery in mathematics
Computationally assisted mathematical discovery
Mathematical knowledge and discoveries
Experimental mathematics
Visualization
Mathematical explorations
Meta-mathematical knowledge
Discovery in pure mathematics
Computer algebra systems
Automated theorem proving
Mathematical databases

Experimental mathematics
The history and philosophy of experimental mathematics
Mathematical discovery
New theorems and algorithms
Discussion of practical issues
Applications and examples of experimental mathematics
Computer-aided proof
Proofs and refutations

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.