# Mathematics/Analysis

## 2022

Constructing the Reals as Dedekind Cuts of Rationals

by Jacques D. Fleuriot and Lawrence C. Paulson

A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent

by Manuel Eberl

Wetzel's Problem and the Continuum Hypothesis

by Lawrence C. Paulson

Young's Inequality for Increasing Functions

by Lawrence C. Paulson

## 2021

Hyperdual Numbers and Forward Differentiation

by Filip Smola and Jacques Fleuriot

Real Exponents as the Limits of Sequences of Rational Exponents

by Jacques D. Fleuriot

Complex Bounded Operators

by José Manuel Rodríguez Caballero and Dominique Unruh

## 2020

Irrationality Criteria for Series by Erdős and Straus

by Angeliki Koutsoukou-Argyraki and Wenda Li

Banach-Steinhaus Theorem

by Dominique Unruh and José Manuel Rodríguez Caballero

## 2019

The Poincaré-Bendixson Theorem

by Fabian Immler and Yong Kiam Tan

Verification Components for Hybrid Systems

by Jonathan Julian Huerta y Munive

The Transcendence of Certain Infinite Series

by Angeliki Koutsoukou-Argyraki and Wenda Li

## 2018

The Budan-Fourier Theorem and Counting Real Roots with Multiplicity

by Wenda Li

Irrational Rapidly Convergent Series

by Angeliki Koutsoukou-Argyraki and Wenda Li

An Isabelle/HOL formalisation of Green's Theorem

by Mohammad Abdulaziz and Lawrence C. Paulson

## 2017

## 2016

## 2015

The Akra-Bazzi theorem and the Master theorem

by Manuel Eberl

## 2014

Real-Valued Special Functions: Upper and Lower Bounds

by Lawrence C. Paulson

Implementing field extensions of the form Q[sqrt(b)]

by René Thiemann

## 2013

Computing N-th Roots using the Babylonian Method

by René Thiemann

## 2012

Ordinary Differential Equations

by Fabian Immler and Johannes Hölzl

## 2011

## 2010

Executable Multivariate Polynomials

by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp

## 2006

Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality

by Benjamin Porter