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

Name: International Conference on Computationally Assisted Mathematical Discovery and Experimental Mathematics
Start: 2022-09-19T21:00:00.000000Z
End: 2022-09-20T21:00:00.000000Z
Location: Lisbon, Portugal

Submit Your Paper

Short Name: ICCAMDEM
Event Type: Conference
Website URL: https://waset.org/computationally-assisted-mathematical-discovery-and-experimental-mathematics-conference-in-september-2022-in-lisbon
Program URL: https://waset.org/conferences-in-september-2022-in-lisbon/program
Contact URL: https://waset.org
Location: Lisbon, Portugal
Date: September 20-21, 2022
Final Submission: August 19, 2022
Notification: October 15, 2020
Organization: World Academy of Science, Engineering and Technology
Conference Tags: computational mathematics

Description
Organization

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.