PSEUDO: applications of streams and lazy evaluation to integrable models

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

Authors 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)

Recommendations

• Elements of stream calculus (an extensive exercise in coinduction)
• Theory of computation over stream algebras, and its applications
• scientific article; zbMATH DE number 3973180
• Theory of formal integrability and DAEs: Effective computations
• Streams of approximations, equivalence of recursive effectful programs
• A coinductive calculus of streams
• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)
• scientific article; zbMATH DE number 1499104
• Applying, extending, and specializing pseudorecursiveness
• Stochastic \(\lambda\)-calculi: an extended abstract

Cites Work

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

Cited In (6)

• The application of differential characteristic set method to pseudo differential operator and Lax representation
• Integrability of a nonlinear evolution equation derived from isoperimetric plane curve motion
• The short pulse hierarchy
• PSEUDO
• Pseudo-differential operators and generalized Lax equations in symbolic computation
• Commutator representations and roots of pseudo differential operators

Uses Software

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

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)