You must enable JavaScript to use this site
-
Day Programme Tuesday| Tuesday | |
| 8:00 - 9:00 | | | 9:00 - 10:00 | Mathematical Knowledge ManagementChair: Florian Rabe, Room (amphitheatre) Pedro Nunes (1st floor)
| Notion of ProofRoom (amphitheatre) 2.4 (2nd floor)
- Michael Kinyon. Quasigroups, Loops and Automated Deduction, or How I Learned To Stop Worrying and Start Letting Computers Prove Theorems (9:00-9:40)
- Ursula Martin. Is mathematics a social machine? (9:40-10:00)
| | 10:00 - 10:30 | Coffee | | 10:30 - 12:30 | CalculemusChair: Florian Rabe/Alan Sexton, Room (amphitheatre) Pedro Nunes (1st floor)
Cylindrical Algebraic Decomposition
- Russell Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza and David Wilson. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition (10:30-11:00) (Slides) (DOI)
- Zongyan Huang, Matthew England, David Wilson, James Davenport, Lawrence Paulson and James Bridge. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition (11:00-11:30) (Slides) (DOI)
- (Invited Talk) Eric Weisstein. Computable data, mathematics, and digital libraries in Mathematica and Wolfram|Alpha (11:30-12:30) (DOI)
| Notion of ProofRoom (amphitheatre) 2.4 (2nd floor)
- Freek Wiedijk. Extreme mathematics (10:30-11:10)
- Jamie Gaspar. Short introduction by example to Coq (11:10-11:30)
| | 12:30 - 14:30 | Lunch | | 14:30 - 16:00 | CalculemusChair: James Davenport, Room (amphitheatre) Pedro Nunes (1st floor)
Novel Applications
| Notion of ProofRoom (amphitheatre) 2.4 (2nd floor)
- Arie Hinkis. The representation of mathematical proof through gestalt and metaphors (14:30-14:50)
- Mark Adams. Proof Auditing for Formalised Mathematics (14:50-15:10)
- William Farmer. Can Computer Proving Replace Traditional Proving? (15:10-15:30)
| | 16:00 - 16:30 | Coffee | | 16:30 - 18:00 | Room (amphitheatre) Pedro Nunes (1st floor)
| | | 20:00 - | | |
|
-
News
Privacy policy and legal information
Last modified: December 18 2025 12:08:11 CET