𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using PVS to validate the algorithms of an exact arithmetic

✍ Scribed by David Lester; Paul Gowland

Book ID
104325435
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
150 KB
Volume
291
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Determining the aerogel β€œplayers”: Using
Determining the aerogel β€œplayers”: Using CI to validate the market potential of an emerging industrial process
✍ Richard P. Fennelly πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons βš– 200 KB πŸ‘ 1 views

Aerogel" is a highly porous material having the appearance of "frozen smoke." It consists of a thin mesh-like network of silica, the material constituting sand. The aerogel structure is permeated with an incredibly large number of air-filled pores. This material was first discovered in the 1930s, bu