𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mathematical Reasoning and Mathematical Conventions

✍ Scribed by John Boyd


Book ID
111805012
Publisher
American Anthropological Association
Year
1968
Tongue
English
Weight
94 KB
Volume
70
Category
Article
ISSN
0002-7294

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Bilingualism and Mathematical Reasoning
✍ Lloyd Dawe πŸ“‚ Article πŸ“… 1985 πŸ› Teachers of English to Speakers of Other Languages 🌐 English βš– 374 KB
Nurturing Mathematical Reasoning
✍ Jennifer S. Thom, πŸ“‚ Article πŸ“… 2011 πŸ› National Council of Teachers of Mathematics βš– 663 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.