提交历史

作者 SHA1 备注 提交日期
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. 11 年之前
  Martin Thoma 44b274b3a6 Bisection method and Muellers method added 11 年之前
  Martin Thoma c41076e929 got case 2.2 correct 11 年之前
  Martin Thoma 03d2d98754 minor changes 11 年之前
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) 11 年之前
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic 11 年之前