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