10 commits

Author	SHA1	Message	Date
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
Martin Thoma	e284e13643	Interpolations-Idee aufgenommen	2013-12-12 13:19:30 +01:00
Martin Thoma	82100a4677	added section about newtons method	2013-12-12 00:39:37 +01:00
Martin Thoma	ba879e5ae8	minor fix	2013-12-12 00:10:19 +01:00
Martin Thoma	42913600bc	got a closed form for the quadratic problem!	2013-12-12 00:07:04 +01:00
Martin Thoma	1a69ea8475	one step closer in verification step	2013-12-11 18:45:47 +01:00
Martin Thoma	5e4b2293b9	improved proof	2013-12-11 18:24:52 +01:00
Martin Thoma	c752ff59b4	many changes; added proof	2013-12-11 18:14:12 +01:00
Martin Thoma	e0bd5d3905	added some ideas	2013-12-06 12:20:49 +01:00