𝔖 Bobbio Scriptorium

✦ LIBER ✦

Some new results on decidability for elementary algebra and geometry

✍ Scribed by Robert M. Solovay; R.D. Arthan; John Harrison

Book ID: 119190935
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 627 KB
Volume: 163
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.04.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Decidability and Undecidability Res

Some Decidability and Undecidability Results on Green's Relations for Automatic Monoids

✍ Friedrich Otto 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 348 KB

(1) Elementary Geometry based on Euclid'

(1) Elementary Geometry based on Euclid's Elements (2) Geometry, Theoretical and Practical (3) Elementary Geometry (4) A Shilling Arithmetic (5) Junior Arithmetic with Answers (6) A Junior Arithmetic (7) A Preliminary Course in Differential and Integral Calculus (8) A College Algebra (9) A New Trigonometry for Beginners (10) Elementary Descriptive Geometry

📂 Article 📅 1906 🏛 Nature Publishing Group 🌐 English ⚖ 203 KB

Practical Exercises in Geometry Geometry

Practical Exercises in Geometry Geometry An Elementary Treatise on the Theory and Practice of Euclid Theoretical Geometry for Beginners Elementary Geometry The Elements of Geometry Plane Geometry Adapted to Heuristic Methods of Teaching Euclid: Books v, vi, xi A Short Introduction to Graphical Algebra

✍ HARRISON, J. 📂 Article 📅 1903 🏛 Nature Publishing Group 🌐 English ⚖ 209 KB

Elementary proofs for some results on th

Elementary proofs for some results on the circular symmetry of the numerical range

✍ Cheung, Wai-Shun; Li, Chi-Kwong 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 118 KB

Some new reliability problems and result

Some new reliability problems and results for one-unit repairable system

✍ Ying Hui Tang 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 216 KB

A review and some new results on permuta

A review and some new results on permutation testing for multivariate problems

✍ Fortunato Pesarin; Luigi Salmaso 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 392 KB