𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An example of the passage from the concrete to the manipulation of formal systems

✍ Scribed by Zoltan P. Diénès

Book ID
104713697
Publisher
Springer
Year
1971
Tongue
English
Weight
797 KB
Volume
3
Category
Article
ISSN
0013-1954

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The ASTRID system: an example of an inte
The ASTRID system: an example of an integrated numerical analysis system
✍ Silvio Merazzi 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 715 KB

This paper presents some aspects of the implementation of the ASTRID numerical analysis system. ASTRID aims at the solution of partial differential equations by numerical methods, such as the finite element method or the finite volume method. ASTRID is designed for the efficient solution of certain