https://blog.johanv.org/nlContents © 2025 <a href="https://blog.johanv.org/pages/contact/">Johan Vervloet</a> <a rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-sa/4.0/88x31.png"></a>Wed, 29 Oct 2025 18:31:23 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://blog.johanv.org/posts/old/node-146/Johan Vervloet<p>Slides of some presentation I gave back in 2003.</p>canthttps://blog.johanv.org/posts/old/node-146/Mon, 13 Dec 2010 15:21:18 GMThttps://blog.johanv.org/posts/old/node-5/Johan Vervloet<div><p>In een vorig leven heb ik nog onderzoek gedaan in de vakgroep <a class="reference external" href="http://www.cant.ua.ac.be">Computeraritmetiek en numerieke technieken</a> aan de <a class="reference external" href="http://www.ua.ac.be">Universiteit Antwerpen</a>. Aangezien dat onderzoek betaald werd met misschien wel uw belastinggeld, kan je hier nog steeds een aantal zaken downloaden.</p> <div class="section" id="teksten-papers-presentaties"> <h2>Teksten, papers, presentaties</h2> <div class="section" id="exception-handling-en-special-values"> <h3>Exception handling en special values</h3> <ul class="simple"> <li><p><a class="reference external" href="https://blog.johanv.org/cant/infty.pdf">Oneindig in floating-pointaritmetiek</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/verzsys.pdf">Verzamelingensystemen</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/sv.pdf">Universal semantics for computer arithmetic implementations</a></p></li> <li><p><a class="reference external" href="ftp://ftp.win.ua.ac.be/pub/cant/Arithmos/MpIeee.ps.gz">Manual MpIeee</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/interval.pdf">Vertrouwt u uw rekenmachine?</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/intsv.pdf">Blending interval and set arithmetic for maximal reliability</a></p></li> </ul> </div> <div class="section" id="functiebenaderingen"> <h3>Functiebenaderingen</h3> <ul class="simple"> <li><p><a class="reference external" href="https://blog.johanv.org/cant/cfintro.pdf">An introduction to continued fractions</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/fris.pdf">Reliable function evaluation using continued fraction expansions</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/isintro.pdf">Betrouwbare functie-evaluatie met behulp van kettingbreukontwikkelingen</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/properr.pdf">Propagatie van afrondingsfouten door afleidbare functies</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/atansem.pdf">Effect van de argumentreductie op de foutenanalyse van arctan</a></p></li> </ul> </div> <div class="section" id="foutafschattingen"> <h3>Foutafschattingen</h3> <ul class="simple"> <li><p><a class="reference external" href="https://blog.johanv.org/cant/log10.pdf">log 10</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/details.pdf">log 2</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/atan.pdf">atan</a></p></li> <li><p><a class="reference external" href="https://blog.johanv.org/cant/acot.pdf">acot</a></p></li> </ul> </div> </div> <div class="section" id="software"> <h2>Software</h2> <ul class="simple"> <li><p><a class="reference external" href="http://oud.losderover.be/librational/">libRational</a>, een C++ library voor rationale aritmetiek, gebouwd rond <a class="reference external" href="http://www.swox.com/gmp">gmp</a>.</p></li> <li><p><a class="reference external" href="http://oud.losderover.be/libmplite/">libmplite</a>, een C++ library voor multiprecisie-aritmetiek, gebouwd rond <a class="reference external" href="http://www.mpfr.org">mpfr</a>.</p></li> <li><p><a class="reference external" href="http://oud.losderover.be/libcff/">libcff</a>, een C++ kettingbreukentoolkit.</p></li> <li><p><a class="reference external" href="http://oud.losderover.be/specialvalue/">SpecialValue</a>, een C++ library voor computeraritmetische speciale waarden.</p></li> <li><p><a class="reference external" href="http://oud.losderover.be/Easyval">Easyval</a>, een C++ library voor floating-point intervalaritmetiek.</p></li> <li><p><a class="reference external" href="http://oud.losderover.be/libmultival">libmultival</a>, een aanzet tot multiprecisie intervalaritmetiek, gebaseerd op <a class="reference external" href="http://oud.losderover.be/libmplite/">libmplite</a>.</p></li> </ul> <p><strong>Opgelet:</strong> Ik ontwikkelde deze software in het kader van mijn onderzoek, maar sinds ik een andere job heb, ligt die ontwikkeling stil. Mogelijk is er aan sommige projecten nog verder gewerkt door de mensen van <a class="reference external" href="http://www.cant.ua.ac.be">CANT</a>, je kan daar altijd je licht eens opsteken. Als je zelf geïnteresseerd bent om projecten te ‘adopteren’, laat dat dan weten. Ik zal met plezier linken naar de nieuwe homepage.</p> </div></div>canthttps://blog.johanv.org/posts/old/node-5/Wed, 30 Apr 2008 14:32:32 GMT