Search

Search Funnelback University

Search powered by Funnelback
1 - 2 of 2 search results for `SCI throughout computational mathematics` |u:www.damtp.cam.ac.uk
  1. Fully-matching results

  2. 10th_Popov_Prize

    www.damtp.cam.ac.uk/user/mjc249/talks/Popov_talk_FoCM_mjc.pdf
    15 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
  3. A programme for computational analysis in the age of data

    www.damtp.cam.ac.uk/user/mjc249/talks/SCI_computer_assisted%20proofs.pdf
    12 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

Refine your results

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.