Hyperdual Numbers and Forward Differentiation

by Filip Smola and Jacques Fleuriot

# Mathematics/Analysis

## 2021

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