Lukas Bulwahn

2021

SpecCheck - Specification-Based Testing for Isabelle/ML
by Kevin Kappelmann, Lukas Bulwahn and Sebastian Willenbrink

01 Jul

2017

The Falling Factorial of a Sum
by Lukas Bulwahn

22 Dec

Stewart's Theorem and Apollonius' Theorem
by Lukas Bulwahn

31 Jul

Bernoulli Numbers
by Lukas Bulwahn and Manuel Eberl

24 Jan

2016

The Twelvefold Way
by Lukas Bulwahn

29 Dec

Intersecting Chords Theorem
by Lukas Bulwahn

11 Oct

Ptolemy's Theorem
by Lukas Bulwahn

07 Aug

Cardinality of Multisets
by Lukas Bulwahn

26 Jun

Cardinality of Equivalence Relations
by Lukas Bulwahn

24 May

Spivey's Generalized Recurrence for Bell Numbers
by Lukas Bulwahn

04 May

Cardinality of Number Partitions
by Lukas Bulwahn

14 Jan

2015

Cardinality of Set Partitions
by Lukas Bulwahn

12 Dec

Euler's Partition Theorem
by Lukas Bulwahn

19 Nov

Derangements Formula
by Lukas Bulwahn

27 Jun