Historie revizí

Autor SHA1 Zpráva Datum
  Martin Thoma 7740f0147f Remove trailing spaces před 9 roky
  Martin Thoma 8d33ab7cb1 minor fix před 11 roky
  Martin Thoma fb48885a4e started analyzing t před 11 roky
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. před 11 roky
  Martin Thoma c41076e929 got case 2.2 correct před 11 roky
  Martin Thoma 03d2d98754 minor changes před 11 roky
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) před 11 roky
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic před 11 roky
  Martin Thoma 4440bd4e62 fixed some errors in calculation před 11 roky
  Martin Thoma 2a95674c76 added calculation před 11 roky
  Martin Thoma 5b9e4edb57 added first part of validation před 11 roky
  Martin Thoma bdf8bbca3d moved argument to the correct location; consistency for titles; added proof to theorem (only two solutions for quadratic problem) před 11 roky
  Martin Thoma 76ec8c9cab Problem with quadratic solution - couldn't find it today před 11 roky
  Martin Thoma d53905494b added some ideas for the case of intervalls [a,b] of R před 11 roky
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring před 11 roky