Search
Search Funnelback University
1 -
4 of
4
search results for `throughout computational mathematics` |u:www.damtp.cam.ac.uk
Fully-matching results
-
Matthew Colbrook
www.damtp.cam.ac.uk/user/mjc249/Publications.html18 Jun 2024: abstract (click to show). Computing spectra is a central problem in computational mathematics with an abundance of applications throughout the sciences. ... This is very much related to S. Smale's comprehensive program on the foundations of computational -
10th_Popov_Prize
www.damtp.cam.ac.uk/user/mjc249/talks/Popov_talk_FoCM_mjc.pdf15 Jul 2023: SCI throughout computational mathematics 36/37. • Computer-assisted proofs (Σ1 Π11)• Fefferman, Seco, “Aperiodicity of the Hamiltonian flow in the Thomas-Fermi potential,” Rev. ... SCI throughout computational mathematics. Andrew Horning -
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, -
COMPUTING SPECTRA - ON THE SOLVABILITY COMPLEXITY INDEX HIERARCHYAND…
www.damtp.cam.ac.uk/user/mjc249/pdfs/SolvabilityMJC.pdf15 Jun 2020: Complexity Index hierarchy, foundations of computational mathematics, computer-assisted proofs.1. 2 J. ... S. Smale initiated acomprehensive program on the foundations of computational mathematics in the 1980s [14, 99], focusingon problems in scientific
Refine your results
Date
- 2 Past year
- 1 Past 3 months
- 1 Past month
- 1 2023
- 1 2022
- 1 Past 6 months
- 1 2024
- 1 2020
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.