Results 271 to 280 of about 693,162 (317)

Computer-Oriented Mathematics: Computers in Mathematics Education

The Mathematics Teacher, 1969
The advent of the computer has served as a catalyst to the turmoil in mathematics and mathematics education during the past decade. Mathematicians have run the gamut from 1950 when only a few innovative souls ventured to use computers to explore solutions of mathematical relationships to the present time when a majority of those who make extensive use ...
Walter Koetke, Charles J. Zoet
openaire   +1 more source

Nonconstructive Computational Mathematics

Journal of Automated Reasoning, 1998
This paper is in the nature of a survey, and has two aspects. The first is about the proof-theoretic strength of \(\text{PRA}^*\), primitive recursive arithmetic strengthened by application of the minimum operator at most once. The second aspect is a comparison of \(\text{PRA}^*\) and the Boyer-Moore theorem prover NQTHM.
openaire   +2 more sources

Mathematics and Computing

Journal of Statistical Physics, 1986
In this paper I illustrate, by examples, anecdotes, and theoretical speculations, what mathematics has done for computing, and what computing has done for mathematics.
openaire   +1 more source

Mathematical Consultants, Computational Mathematics and Mathematica Engineering

The American Mathematical Monthly, 1955
(1955). Mathematical Consultants, Computational Mathematics and Mathematical Engineering. The American Mathematical Monthly: Vol. 62, No. 8, pp. 565-571.
openaire   +1 more source

Home - About - Disclaimer - Privacy