Results 231 to 240 of about 517,135 (291)

Olympiad-level formal mathematical reasoning with reinforcement learning. [PDF]

open access: yesNature
Hubert T   +38 more
europepmc   +1 more source

A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)

open access: yesA Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)
openaire  
Some of the next articles are maybe not open access.

Related searches:

Numerical Mathematics--Theory and Computer Applications.

Mathematics of Computation, 1987
Mathematical Introduction * Numerical Computation * Vectors and Matrices * Series Expansions * Orthogonal Functions * Linear Operators * Difference Equations * Special Functions * Laplace Transformation * Calculus of Variations Equations * Systems of Linear Equations * Nonlinear Equations and Systems of Equations * Algebraic Eigenvalue Problems ...
David K. Kahaner, Carl-Erik Froberg
openaire   +1 more source

Mathematical and Computational Aspects of a General Viscoelastic Theory

Journal of Rheology, 1987
A discussion of mathematical aspects of general stress‐strain problems involving viscoelastic materials is given. Constitutive equations are presented in a general differential form. These equations generalize the Boltzmann constitutive relations and provide a convenient way to solve stress‐strain problems.
Alex Markovsky   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy