6 commits

Author	SHA1	Message	Date
Martin Thoma	2a95674c76	added calculation	2013-12-19 13:37:25 +01:00
Martin Thoma	5b9e4edb57	added first part of validation	2013-12-18 13:37:03 +01:00
Martin Thoma	bdf8bbca3d	moved argument to the correct location; consistency for titles; added proof to theorem (only two solutions for quadratic problem)	2013-12-16 11:56:21 +01:00
Martin Thoma	76ec8c9cab	Problem with quadratic solution - couldn't find it today	2013-12-13 23:35:07 +01:00
Martin Thoma	d53905494b	added some ideas for the case of intervalls [a,b] of R	2013-12-12 23:05:04 +01:00
Martin Thoma	1f7971f5ab	added some ideas; heavy restructuring	2013-12-12 16:22:13 +01:00