✦ LIBER ✦

An example of formalizing recent mathematical results in Mizar

✍ Scribed by Adam Naumowicz

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 166 KB
Volume: 4
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.10.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

MizarMode—an integrated proof assistance

MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics

✍ Josef Urban 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 140 KB

Recent results in mathematical modeling

Recent results in mathematical modeling of infectious diseases

✍ L. N. Belykh 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 363 KB

Some results connected with a simple mathematical model of infectious disease are discussed in order to demonstrate the approach to the modelling of such real processes. A more complicated model of antiviral immune response is presented. A new modification of this model in which targets for the viru

An example of the use of the computer as

An example of the use of the computer as an experimental tool in mathematical research

✍ L Auslander; B Dunham; J.H North 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 603 KB

The place of geometry in mathematics tea

The place of geometry in mathematics teaching: An analysis of recent developments

✍ H. J. Vollrath 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 607 KB

I shall start from the assumption that, nowadays, almost everyone needs some kind of geometric knowledge and abilities. Therefore, in discussions about geometry, didacticians should consider the great variety of persons to whom geometry must be taught. Recent developments show the necessity to evol

The training of researchers in mathemati

The training of researchers in mathematics education — Results from an international survey

✍ M. C. Batanero; J. D. Godino; H. G. Steiner; E. Wenzelburger 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 491 KB

Gas Man® — An example of goal oriented c

Gas Man® — An example of goal oriented computer-assisted teaching which results in learning

✍ Philip, James H. 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 712 KB