Historique des commits

Auteur SHA1 Message Date
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. il y a 12 ans
  Martin Thoma 44b274b3a6 Bisection method and Muellers method added il y a 12 ans
  Martin Thoma c41076e929 got case 2.2 correct il y a 12 ans
  Martin Thoma 03d2d98754 minor changes il y a 12 ans
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) il y a 12 ans
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic il y a 12 ans