✦ LIBER ✦

Nonlinear algebra and Bogoliubov’s recursion

✍ Scribed by A. Yu. Morozov; M. N. Serbyn

Publisher: SP MAIK Nauka/Interperiodica
Year: 2008
Tongue: English
Weight: 580 KB
Volume: 154
Category: Article
ISSN: 0040-5779
DOI: 10.1007/s11232-008-0026-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nonlinear PDE's and recursive flows: the

Nonlinear PDE's and recursive flows: theory

✍ Benno Fuchssteiner; Mauro Lo Schiavo 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 271 KB

Nonlinear PDE's and recursive flows: app

Nonlinear PDE's and recursive flows: applications

✍ Benno Fuchssteiner; Mauro Lo Schiavo 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 378 KB

Safe recursion with higher types and BCK

Safe recursion with higher types and BCK-algebra

✍ Martin Hofmann 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 314 KB

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni-Cook's function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we de

Induction–recursion and initial algebras

✍ Peter Dybjer; Anton Setzer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 828 KB

Induction-recursion is a powerful deÿnition method in intuitionistic type theory. It extends (generalized) inductive deÿnitions and allows us to deÿne all standard sets of Martin-L of type theory as well as a large collection of commonly occurring inductive data structures. It also includes a variet

Recursive algebraic curve fitting and re

Recursive algebraic curve fitting and rendering

✍ Shouqing Zhang; Ling Li; Hock Soon Seah 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 539 KB

Nonformal recursion operators and nonlin

Nonformal recursion operators and nonlinear integrable evolution equations

✍ M. Boiti; B. G. Konopelchenko 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 145 KB

A new property involving the recursion operator L and the Hamiltonian operator d of the nonlinear evolution equations integrable by the inverse scattering transform method is derived. It follows that these equations are completely determined in terms of the L and J operators.