Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 6 of 6 search results for `Computational mathematics in computer assisted` |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: FOUNDATIONS METHODS. • Σ1 Π1 computer-assisted proofs. • Much of computational literature not sharp! ... SCI throughout computational mathematics 36/37. • Computer-assisted proofs (Σ1 Π11)• Fefferman, Seco, “Aperiodicity of the Hamiltonian

  3. ON THE EXISTENCE OF OPTIMAL MULTI-VALUED DECODERS AND THEIR ...

    www.damtp.cam.ac.uk/research/afha/anders/Version0.pdf
    28 Nov 2023: 1. INTRODUCTION. Finite dimensional inverse problems are ubiquitous in the computational sciences as they naturally appearin a plethora of applications. ... 5. RELATION TO PREVIOUS WORK. As an ongoing topic of research in many areas of mathematics,

  4. WHEN CAN YOU TRUST FEATURE SELECTION? – II: ON ...

    www.damtp.cam.ac.uk/research/afha/anders/InitialSubmitFeatureSelectionProbabilistic.pdf
    18 Dec 2023: in computer assisted proofs.T. ... Hou) and Problem 5 (J.Lagarias) which discusses results on developing algorithms that are 100% trustworthy and thus appropriatefor computer assisted proofs.

  5. © 2022 European Mathematical SocietyPublished by EMS Press J. ...

    www.damtp.cam.ac.uk/user/mjc249/pdfs/JEMS_foundations_colbrook.pdf
    21 Feb 2023: Keywords. Computational spectral problem, Solvability Complexity Index hierarchy, Smale’sprogram on the foundations of computational mathematics, computer-assisted proofs. ... used in computer-assisted proofs. Indeed, suppose we consider computational

  6. WHEN CAN YOU TRUST FEATURE SELECTION? – I: A ...

    www.damtp.cam.ac.uk/research/afha/anders/InitialSubmitFeatureSelectionDeterministic.pdf
    18 Dec 2023: Condition in optimisation: Condition numbers in computational mathematics and numerical analysis have beena mainstay [27, 39] in order to secure trustworthy algorithms that are accurate and stable. ... Ben-Artzi, M. Colbrook, M. Marletta [9, 10, 25, 35].

  7. COMPUTING SPECTRA – ON THE SOLVABILITY COMPLEXITY INDEX HIERARCHYAND…

    www.damtp.cam.ac.uk/research/afha/anders/SCI_FINAL.pdf
    20 Nov 2023: As a consequence, the SCI hierarchy provides classifications of computational problems that canbe used in computer-assisted proofs. ... Main theorems on computational quantum mechanics 126. Computing the non-computable - The role of the SCI hierarchy in

Refine your results

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.