โ
Lennox, Elizabeth
๐
Fiction
๐
2013
๐
www.ElizabethLennox.com
๐
English
โ 73 KB
โฆ LIBER โฆ
Opening mathematics texts: resisting the seduction
โ Scribed by David Wagner
- Book ID
- 113064837
- Publisher
- Springer
- Year
- 2011
- Tongue
- English
- Weight
- 228 KB
- Volume
- 80
- Category
- Article
- ISSN
- 0013-1954
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
THE SELECTION OF MATHEMATICS TEXTS IN TH
โ
Robt. L. Williams
๐
Article
๐
1931
๐
School Science and Mathematics Association
๐
English
โ 324 KB
The Text and the Body in Middle English
โ
Martha Bayless
๐
Article
๐
2008
๐
Springer Netherlands
๐
English
โ 133 KB
Supporting the formal verification of ma
โ
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
Research into the construction of mathem
โ
Jan Konior
๐
Article
๐
1993
๐
Springer
๐
English
โ 337 KB
THE ABILITY OF COLLEGE FRESHMEN TO READ
โ
Albert E. Filano
๐
Article
๐
1957
๐
School Science and Mathematics Association
๐
English
โ 131 KB