Summary
The joint research in this programme will study important aspects---both theoretical as well as applied---of computing with infinite objects such as decimal fractions, to mention a key example. A central aim is laying the grounds for the generation of efficient and verified...
More information & hyperlinks
| Web resources: | http://cid.uni-trier.de |
