PSEUDO: applications of streams and lazy evaluation to integrable models

DOI10.1016/J.CPC.2004.08.001zbMATH Open1196.68325OpenAlexW1973524810MaRDI QIDQ709591FDOQ709591

J. C. Brunelli

Publication date: 18 October 2010

Published in: Computer Physics Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cpc.2004.08.001

zbMATH Keywords

integrable modelspseudo-differential operatorssymbolic computationstreamslazy evaluation\textit{MAPLE}delayed evaluation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to operator theory (47-04)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lie algebras and equations of Korteweg-de Vries type
• Fractional powers of operators and Hamiltonian systems
• On a trace functional for formal pseudo-differential operators and the symplectic structure of the Korteweg-deVries type equations
• Periodic solutions of the KdV equation
• ASYMPTOTIC BEHAVIOUR OF THE RESOLVENT OF STURM-LIOUVILLE EQUATIONS AND THE ALGEBRA OF THE KORTEWEG-DE VRIES EQUATIONS
• Generating power of lazy semantics
• The resolvent and Hamiltonian systems
• Commuting flows and conservation laws for Lax equations
• A computational approach for the analytical solving of partial differential equations
• SuSy 2.
• Pseudo differential operators and integrable systems in AXIOM
• The music of streams
• On the nonlocal equations and nonlocal charges associated with the Harry Dym hierarchy
• Infinite structures in scratchpad II

Cited In (4)

• Integrability of a nonlinear evolution equation derived from isoperimetric plane curve motion
• The short pulse hierarchy
• PSEUDO
• Commutator representations and roots of pseudo differential operators

Uses Software

• AXIOM
• IBM Scratchpad
• Maple
• SuSy 2
• PDEtools

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A coinductive calculus of streams 👍 👎
• Applying, extending, and specializing pseudorecursiveness 👍 👎
• Theory of formal integrability and DAEs: Effective computations 👍 👎
• Stochastic \(\lambda\)-calculi: an extended abstract 👍 👎
• Elements of Stream Calculus 👍 👎
• Theory of computation over stream algebras, and its applications 👍 👎
• Lazy Lambda calculus: Theories, models and local structure characterization 👍 👎
• Streams of approximations, equivalence of recursive effectful programs 👍 👎

This page was built for publication: PSEUDO: applications of streams and lazy evaluation to integrable models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q709591)