Results 221 to 230 of about 92,842 (265)
Some of the next articles are maybe not open access.
Nonconstructive Computational Mathematics
Journal of Automated Reasoning, 1998This 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
The Mathematics of Computer Graphics
The Visual Computer, 1987Until relatively recently, researchers in computer graphics paid scant attention to the numerics of their computations. Computation was used as a simple tool to evaluate algorithms or transform data into some appropriate pictoral representation. Thus standard computer graphics texts have little to say about numerical methods, just as earlier numerical ...
openaire +1 more source
Symbolic mathematical computation
Communications of the ACM, 1985Standard programming languages are inadequate for the kind of symbolic mathematical computations that theoretical physicists need to perform. Higher mathematics systems like SMP address this problem.
openaire +1 more source
Mathematics and the Computer Revolution
Izvestiya: Mathematics, 1986Computers have transformed modern society and mathematics has not escaped. This article written 30 year ago, highlighted the impact on mathematics at many levels. Despite the exponential growth of computer power and sophistication, the dangers identified 30 years ago remain as pertinent as ever.
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
Mathematical Foundation of Computer Arithmetic
IEEE Transactions on Computers, 1975During recent years a number of papers concerning a mathematical foundation of computer arithmetic have been written. Some of these papers are still unpublished. The papers consider the spaces which occur in numerical computations on computers depending on a properly defined computer arithmetic. The following treatment gives a summary of the main ideas
openaire +1 more source
Symbolic mathematical computation
ACM SIGSAM Bulletin, 1976The impact of high-speed computers on the scientific community over the past 25 years has been well documented. Their successful use for numerical computations in a number of areas of engineering and the sciences was followed by an interest in their being employed for 'literal' or symbolic computations. Problems in celestial mechanics, mathematics, and
openaire +1 more source
Characterising computational thinking in mathematics education: a literature-informed Delphi study
Research in Mathematics Education, 2021Sylvia P Van Borkulo +2 more
exaly
Computer science and mathematics
ACM SIGCSE Bulletin, 1970George E. Forsythe +4 more
openaire +1 more source