𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Verification of Graph Grammars using Mathematical Induction

✍ Scribed by Simone André da Costa; Leila Ribeiro

Book ID
108127096
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
607 KB
Volume
240
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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