[Club2] Wednesday, 15.00

[Norbert Schirmer]

This week:

Wednesday, 5.7., 15:00, (Turing, 00.09.055):

Jesús Aransay:

Toward a formal proof of the Basic Perturbation Lemma in Isabelle/HOL

Abstract:
   The Basic Perturbation Lemma is an important result in computational 
homological algebra and the basis of the computer algebra system Kenzo. 
  We present the current state of our formalisation of the algebraic 
part of the proof and discuss approaches to the computational part.


   Norbert