Search
Search Funnelback University
1 -
2 of
2
search results for `SCI throughout computational mathematics` |u:www.damtp.cam.ac.uk
Fully-matching results
-
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: 33/36. • The SCI hierarchy appears throughout computational mathematics. • Results so far: spectral theory, PDEs and ODEs, iterative rational maps, generalized Collatz problem (and dec. ... SCI hierarchy: a tool that allows us to• Classify the
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.