✦ LIBER ✦

Mathematical formalization of stratigraphic terminology

✍ Scribed by Dienes, I. ;Mann, C. John

Publisher: Springer
Year: 1977
Tongue: English
Weight: 949 KB
Volume: 9
Category: Article
ISSN: 0020-5958
DOI: 10.1007/bf02067215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On formalization of a general fuzzy math

On formalization of a general fuzzy mathematical problem

✍ S.A. Orlovsky 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 817 KB

Supporting the formal verification of ma

Supporting the formal verification of mathematical texts

✍ Claus Zinn 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully

The geometry of separation boundaries. I

The geometry of separation boundaries. II. Mathematical formalism

✍ Angelo Lucia; Ross Taylor 📂 Article 📅 2007 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 326 KB

An example of formalizing recent mathema

An example of formalizing recent mathematical results in Mizar

✍ Adam Naumowicz 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 166 KB

Mathematical Theory of the Duality Compu

Mathematical Theory of the Duality Computer in the Density Matrix Formalism

✍ Gui Lu Long 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 96 KB

Mathematical theory of the duality compu

Mathematical theory of the duality computer in the density matrix formalism

✍ Gui Lu Long 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 67 KB