Search

Search Funnelback University

Search powered by Funnelback
1 - 1 of 1 search results for `Computational mathematics in computer assisted` |u:www.damtp.cam.ac.uk
  1. Fully-matching results

  2. Upcoming Talks (up to Aug 2022)

    www.damtp.cam.ac.uk/user/mjc249/Talks.html
    18 Jun 2024: Computational mathematics in computer assisted proofs. (AIM Workshop. 30 Aug 2022. ... Applied and Computational Mathematics Seminar. (UC Irvine. 16 Nov 2018. The Computational Spectral Problem and a New Classification Theory: Novel Algorithms,

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.