Results 221 to 230 of about 694,261 (269)

Editorial: Mathematical modeling of medication nonadherence. [PDF]

Front Pharmacol
Lawley SD, Gibson TB, Jiao Z.
europepmc   +1 more source

The neurobiology of human sequential signal prediction: Insights from language, music, and mathematics.

Neurosci Res
Nakai T, Daikoku T, Oseki Y.
europepmc   +1 more source

Coevolutionary dynamics of cooperation, risk, and cost in collective risk games. [PDF]

PLoS Comput Biol
Wang L, Hua S, Liu Y, Zhang L, Liu L, Szolnoki A.   +5 more
europepmc   +1 more source

Simultaneous Numerical Determination of Two Time-dependent Coefficients in Second Order Parabolic Equation With Nonlocal Initial and Boundary Conditions. [PDF]

F1000Res
A J Al-Shatrah M, Sabah Hussein M.
europepmc   +1 more source

The impact of number talks on the number sense of fourth-grade primary school students. [PDF]

BMC Psychol
Minaz MB, Taş H.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

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