# International Conference on Computationally Assisted Mathematical Discovery and Experimental Mathematics ICCAMDEM on September 20-21, 2022 in 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

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

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