커밋 기록

작성자 SHA1 메시지 날짜
  Martin Thoma 7740f0147f Remove trailing spaces 9 년 전
  Martin Thoma 44b274b3a6 Bisection method and Muellers method added 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 년 전
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring 11 년 전
  Martin Thoma e284e13643 Interpolations-Idee aufgenommen 11 년 전
  Martin Thoma 82100a4677 added section about newtons method 11 년 전
  Martin Thoma ba879e5ae8 minor fix 11 년 전
  Martin Thoma 42913600bc got a closed form for the quadratic problem! 11 년 전
  Martin Thoma 1a69ea8475 one step closer in verification step 11 년 전
  Martin Thoma 5e4b2293b9 improved proof 11 년 전
  Martin Thoma c752ff59b4 many changes; added proof 11 년 전
  Martin Thoma e0bd5d3905 added some ideas 11 년 전
  Martin Thoma f92637625d added comment 'symmetry axis' 11 년 전
  Martin Thoma e87bfb42ea first part of solution formula is ready 11 년 전
  Martin Thoma ce25d17b75 removed unnecessary stuff; began developing solution formula 11 년 전
  Martin Thoma 3756091c61 solved quadratic case 11 년 전
  Martin Thoma 158ca6bc4e added exact solution 11 년 전
  Martin Thoma fb0c7e39cb added argument why there is no closed form solution 11 년 전
  Martin Thoma 3827c49e25 added comment 11 년 전
  Martin Thoma 1687cff5d8 minor simplifications 11 년 전
  Martin Thoma 01873065be misc 11 년 전
  Martin Thoma 1babc04948 added comment 11 년 전
  Martin Thoma 9bc254d6ab naming 11 년 전
  Martin Thoma d06eb991ef added plot for cubic functions; some restructuring 11 년 전
  Martin Thoma 22f18e4f15 major cleanup 11 년 전
  Martin Thoma 1bcec68935 misc 11 년 전
  Martin Thoma d2debc0e68 misc 11 년 전
  Martin Thoma 5b64301192 misc 11 년 전
  Martin Thoma 6aea1e9e8e added math minimal distance example 11 년 전