Commit Verlauf

Autor SHA1 Nachricht Datum
  Martin Thoma 9140b59586 added some notes vor 12 Jahren
  Martin Thoma 8d33ab7cb1 minor fix vor 12 Jahren
  Martin Thoma fb48885a4e started analyzing t vor 12 Jahren
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. vor 12 Jahren
  Martin Thoma 44b274b3a6 Bisection method and Muellers method added vor 12 Jahren
  Martin Thoma c41076e929 got case 2.2 correct vor 12 Jahren
  Martin Thoma 03d2d98754 minor changes vor 12 Jahren
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) vor 12 Jahren
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic vor 12 Jahren
  Martin Thoma 4440bd4e62 fixed some errors in calculation vor 12 Jahren
  Martin Thoma 2a95674c76 added calculation vor 12 Jahren
  Martin Thoma 5b9e4edb57 added first part of validation vor 12 Jahren
  Martin Thoma bdf8bbca3d moved argument to the correct location; consistency for titles; added proof to theorem (only two solutions for quadratic problem) vor 12 Jahren
  Martin Thoma dc82db6336 misc vor 12 Jahren
  Martin Thoma 7fdc530b6c fixed some errors vor 12 Jahren
  Martin Thoma 76ec8c9cab Problem with quadratic solution - couldn't find it today vor 12 Jahren
  Martin Thoma d53905494b added some ideas for the case of intervalls [a,b] of R vor 12 Jahren
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring vor 12 Jahren
  Martin Thoma e284e13643 Interpolations-Idee aufgenommen vor 12 Jahren
  Martin Thoma 82100a4677 added section about newtons method vor 12 Jahren
  Martin Thoma ba879e5ae8 minor fix vor 12 Jahren
  Martin Thoma 42913600bc got a closed form for the quadratic problem! vor 12 Jahren
  Martin Thoma 1a69ea8475 one step closer in verification step vor 12 Jahren
  Martin Thoma 5e4b2293b9 improved proof vor 12 Jahren
  Martin Thoma c752ff59b4 many changes; added proof vor 12 Jahren
  Martin Thoma e0bd5d3905 added some ideas vor 12 Jahren