𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nurturing Mathematical Reasoning

✍ Scribed by Jennifer S. Thom,


Book ID
121306101
Publisher
National Council of Teachers of Mathematics
Year
2011
Weight
663 KB
Volume
18
Category
Article
ISSN
1073-5836

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


NURTURING MATHEMATICS IN OUR SCHOOLS
✍ Review by: IAN ISAACS πŸ“‚ Article πŸ“… 1971 πŸ› Informa UK (Taylor & Francis) 🌐 English βš– 402 KB
Agent Based Mathematical Reasoning
✍ Christoph BenzmΓΌller; Mateja Jamnik; Manfred Kerber; Volker Sorge πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 625 KB

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.

Bilingualism and Mathematical Reasoning
✍ Lloyd Dawe πŸ“‚ Article πŸ“… 1985 πŸ› Teachers of English to Speakers of Other Languages 🌐 English βš– 374 KB