Search

Search Funnelback University

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

  2. 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: 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,

Refine your results

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.