Search
Search Funnelback University
- Refined by:
- Date: 2022
1 -
1 of
1
search results for `throughout computational mathematics` |u:www.damtp.cam.ac.uk
Fully-matching results
-
A programme for computational analysis in the age of data
www.damtp.cam.ac.uk/user/mjc249/talks/SCI_computer_assisted%20proofs.pdf12 Sep 2022: GOAL. Classify how and which computational problems. can be used in computer-assisted proofs. ... 33/36. • The SCI hierarchy appears throughout computational mathematics. • Results so far: spectral theory, PDEs and ODEs, iterative rational maps,
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.