搜索结果: 1-3 共查到“代数学其他学科 Classical”相关记录3条 . 查询时间(0.031 秒)
Learning, Realizability and Games in Classical Arithmetic
Learning Realizability Games Classical Arithmetic
2011/2/25
In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicati...
A "missing" family of classical orthogonal polynomials
missing family classical orthogonal polynomials
2010/11/12
We study a family of "classical" orthogonal polynomials which satisfy (apart from a 3-term recurrence relation) an eigenvalue problem with a differential operator of Dunkl-type. These polynomials can...
Analytic Lyapunov exponents in a classical nonlinear field equation
Analytic Lyapunov exponents classical nonlinear field equation
2010/11/2
It is shown that the nonlinear wave equation $\partial_t^2\phi - \partial^2_x \phi -\mu_0\partial_x(\partial_x\phi)^3 =0$, which is the continuum limit of the Fermi-Pasta-Ulam (FPU) beta model, has a...