𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Winning a large order: A case study using judgemental modelling

✍ Scribed by A. Geoff Lockett; Peter Naude


Book ID
107765789
Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
705 KB
Volume
20
Category
Article
ISSN
0019-8501

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Formalizing mathematics in higher-order
✍ FranΓ§ois Puitg; Jean-FranΓ§ois Dufourd πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 421 KB

An innovative attempt to develop formal techniques of speciΓΏcation, proof, and program extraction in geometric modelling is reported through the axiomatization of the mathematical model of the combinatorial maps in the calculus of inductive constructions (CIC), a variety of type theory well suited f