Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
smartfloat [2012/11/27 08:59] evka |
smartfloat [2012/12/04 14:52] evka |
||
---|---|---|---|
Line 7: | Line 7: | ||
For example: | For example: | ||
def cubeRoot = { | def cubeRoot = { | ||
- | println("~~~ Cube root ~~~") | ||
val a: AffineFloat = 10 | val a: AffineFloat = 10 | ||
var xn = AffineFloat(1.6) | var xn = AffineFloat(1.6) | ||
Line 33: | Line 32: | ||
There is also a {{projects:eva:top:smartfloat_poster.pdf|poster}} and a [[http://lara.epfl.ch/~edarulov/presentation_geneva.pdf|presentation]] available. | There is also a {{projects:eva:top:smartfloat_poster.pdf|poster}} and a [[http://lara.epfl.ch/~edarulov/presentation_geneva.pdf|presentation]] available. | ||
+ | |||
+ | |||
+ | ===== Applications ===== | ||
+ | The SmartFloat data type has also been used for certifying solutions of systems of nonlinear equations. | ||
+ | The implementation uses Scala macros, which is an experimental feature coming in Scala 2.10. | ||
+ | For this reason this [[http://lara.epfl.ch/~darulova/cerres.zip|code]] is to be regarded as experimental as well, but you are free to try it out. | ||
==== Publications ==== | ==== Publications ==== |