CAPCourseS26.jl
  • Overview
  • Weeks
      • Week 1 Lecture 1 - Introduction to computer-assisted proofs
      • Week 1 Lab: Setup
      • Week 2 Lecture 1: Discrete problems
      • Week 2 Lecture 2: Integer arithmetic
      • Week 2 Lab: Julia basics
      • Week 3 Lecture 1: Computer-assisted proofs for continuous problems
      • Week 3 Lecture 2: Computer-assisted proofs for continuous problems
      • Week 3 Lab: A simple computer-assisted proof (and VS Code)
      • Week 4 Lecture 1: Formal proofs
      • Week 4 Lecture 2: Formal proofs
      • Week 4 Lab: Trying Lean
      • Week 5 Lecture 1: Floating point numbers
      • Week 5 Lecture 2: Floating point numbers
      • Week 5 Lab: Playing with floating points
      • Week 6 Lecture 1: TODO
      • Week 6 Lecture 2: Interval Arithmetic
      • Week 6 Lab: IntervalArithmetic.jl and Arblib.jl
      • Week 7 Lecture 1: Interval functions and graph enclosures
      • Week 7 Lecture 2: Finding roots
      • Week 7 Lab: First root of $J_0(x)$
      • Week 8 Lecture 1: Automatic differentiation and Taylor arithmetic
      • Week 8 Lecture 2: Applications of Taylor arithmetic
      • Week 8 Lab: Taylor arithmetic
      • Week 9 Lecture 1: Overview of FLINT and Arblib.jl
      • Week 9 Lecture 2: Overview of IntervalArithmetic.jl
      • Week 9 Lab: Performance comparisons between Arblib.jl and IntervalArithmetic.jl
      • Week 10 Lecture 1: Computer-assisted proofs in practice
      • Week 10 Lecture 2: Self-similar blowup
      • Week 10 Lab: Self-similar blowup
      • Week 11 Lecture 1: Self-similar blowup - Enclosing $Q_0$
      • Week 11 Lecture 2: Self-similar blowup - Enclosing $Q_\infty$
      • Week 11 Lab: Self-similar blowup - again!
      • Week 12 Lecture 1: Machine-Assisted Proofs
      • Week 12 Lecture 2: Glimpse of some papers
      • Week 12 Lab: Some rigorous numerics
      • Week 13 Lecture 1: Solving in sequence space - the radii polynomial approach
      • Week 13 Lecture 2: Solving in sequence space - the radii polynomial approach
      • Week 13 Lab: Solving in sequence space - the radii polynomial approach
      • Week 14 Lecture 1: Arblib.jl and Flint documentation
      • Week 14 Lecture 2: IntervalArithmetic.jl documentation
      • Week 14 Lab: ArbExtras.jl
      • Week 15 Lecture 1: Publishing a computer-assisted proof
Version
  • Weeks
  • Part 3: Computer-assisted proofs in practice
  • Week 13 Lab: Solving in sequence space - the radii polynomial approach
  • Week 13 Lab: Solving in sequence space - the radii polynomial approach
GitHub

Week 13 Lab: Solving in sequence space - the radii polynomial approach

The goal of this lab is to finish the example we have discussed in this weeks lectures. The instructions are given in the lab-13.jl notebook.

« Week 13 Lecture 2: Solving in sequence space - the radii polynomial approachWeek 14 Lecture 1: Arblib.jl and Flint documentation »

Powered by Documenter.jl and the Julia Programming Language.

Settings


This document was generated with Documenter.jl version 1.16.1 on Monday 4 May 2026. Using Julia version 1.12.6.