𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computer Aided Problem Solving: (Oriented Toward Mathematics)

✍ Scribed by C. W. Thomas Jr.; W.H. Churchill

Book ID
114975733
Publisher
School Science and Mathematics Association
Year
1977
Tongue
English
Weight
120 KB
Volume
77
Category
Article
ISSN
0036-6803

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Towards computer aided mathematics
Towards computer aided mathematics
✍ Christoph BenzmΓΌller πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 88 KB

In his autobiography 1 Bertrand Russell characterizes mathematics as follows: "It seems to me now that mathematics is capable of an artistic excellence as great as that of any music, perhaps greater; not because the pleasure it gives (although very pure) is comparable, either in intensity or in the

Theorema: Towards computer-aided mathema
Theorema: Towards computer-aided mathematical theory exploration
✍ Bruno Buchberger; Adrian Crǎciun; Tudor Jebelean; Laura KovΓ‘cs; Temur Kutsia; Ko πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 580 KB

Theorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theoremasupported mathematical theory exploration by a case study (the automated synthesis of an algorithm for