𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Special issue: Numerical PDE methods in finance: Guest editors’ foreword

✍ Scribed by David A. Voss; Abdul Q.M. Khaliq

Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
129 KB
Volume
222
Category
Article
ISSN
0377-0427

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Issue on Algorithmic Methods in
Special Issue on Algorithmic Methods in Galois Theory Foreword of the Guest Editors
✍ B.H. Matzat; J. McKay; K. Yokoyama 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 141 KB

Galois theory is a standard topic in every algebra course. Computational and constructive methods in Galois theory have not yet attained this status. Algorithms to compute Galois groups go back as far as the nineteenth century and are described in the classical monograph of Tschebotaröw and Schwerd

Special Issue on Advances in First-order
Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors
📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 73 KB

The role of first-order theorem proving as a core theme of automated deduction has been recognized since the beginning of the field, at the dawn of artificial intelligence, more than 40 years ago. Although many other logics have been developed and used in AI, deduction systems based on first-order t