| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Christian Sternagel
Entries
| 2020 |
| May 13: A Formalization of Knuth–Bendix Orders |
| 2018 |
| February 6: First-Order Terms |
| 2017 |
| October 14: Homogeneous Linear Diophantine Equations |
| July 15: HOLCF-Prelude |
| 2016 |
| June 30: The Z Property |
| 2015 |
| March 11: Deriving class instances for datatypes |
| 2014 |
| October 3: XML |
| October 3: Certification Monads |
| September 25: Imperative Insertion Sort |
| July 29: Haskell's Show Class in Isabelle/HOL |
| 2012 |
| November 2: Open Induction |
| April 13: Well-Quasi-Orders |
| 2011 |
| November 9: Efficient Mergesort |
| March 14: Executable Transitive Closures of Finite Relations |
| 2010 |
| August 10: Executable Multivariate Polynomials |
| June 17: Executable Matrix Operations on Matrices of Arbitrary Dimensions |
| June 14: Abstract Rewriting |