✦ LIBER ✦

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa

✍ Scribed by de Dinechin, F.; Lauter, C.; Melquiond, G.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Block floating-point implementation of d

✍ S Sridharan; G Dickman 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Table-driven implementation of the Expm1

✍ Tang, Ping Tak Peter 📂 Article 📅 1992 🏛 Association for Computing Machinery 🌐 English ⚖ 614 KB

Bayesian regularization in the problem o

✍ A. S. Nuzhny 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 424 KB

An exploration of the problems of using

✍ R. Hughes 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 990 KB

An analysis of the three-point bending b

✍ T. Fett 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 212 KB

Measuring motivation: using the cross po

✍ Dorte Bratbo Sørensen; Jan Ladewig; Lindsay Matthews; Annette Kjær Ersbøll; Lart 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 124 KB