## E-Mails 📧

- moc.liamg @nhawlub.sakul

## Entries

### 2021

##### SpecCheck - Specification-Based Testing for Isabelle/ML

by Kevin Kappelmann 🌐, Lukas Bulwahn 📧 and Sebastian Willenbrink 📧
Jul 01

### 2017

##### The Falling Factorial of a Sum

by Lukas Bulwahn 📧
Dec 22

##### Stewart's Theorem and Apollonius' Theorem

by Lukas Bulwahn 📧
Jul 31

##### Bernoulli Numbers

by Lukas Bulwahn 📧 and Manuel Eberl 🌐
Jan 24

### 2016

##### The Twelvefold Way

by Lukas Bulwahn 📧
Dec 29

##### Intersecting Chords Theorem

by Lukas Bulwahn 📧
Oct 11

##### Ptolemy's Theorem

by Lukas Bulwahn 📧
Aug 07

##### Cardinality of Multisets

by Lukas Bulwahn 📧
Jun 26

##### Cardinality of Equivalence Relations

by Lukas Bulwahn 📧
May 24

##### Spivey's Generalized Recurrence for Bell Numbers

by Lukas Bulwahn 📧
May 04

##### Cardinality of Number Partitions

by Lukas Bulwahn 📧
Jan 14

### 2015

##### Cardinality of Set Partitions

by Lukas Bulwahn 📧
Dec 12

##### Euler's Partition Theorem

by Lukas Bulwahn 📧
Nov 19

##### Derangements Formula

by Lukas Bulwahn 📧
Jun 27