{ "cells": [ { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "# Validated numerics with Julia\n", "\n", "### Root finding, optimization, and constraints: guaranteed results" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "-" } }, "source": [ "\n", "## David P. Sanders\n" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "-" } }, "source": [ "### Department of Physics, Faculty of Sciences \n", "### Universidad Nacional Autónoma de México (UNAM)" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "-" } }, "source": [ "#### 18.337, 31 October 2018" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "# JuliaIntervals: https://github.com/JuliaIntervals\n", "\n", "- Interval analysis **tools** for set computation\n", "\n", "\n", "- **Principal authors**: Luis Benet, David P. Sanders\n", "\n", "\n", "\n", "- Used in other packages: \n", " - EAGO - global optimization\n", "\n", " - JuliaReach - reachability analysis for dynamical systems\n", " \n", "\n" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "\n", "