PSEUDO: applications of streams and lazy evaluation to integrable models
From MaRDI portal
Publication:709591
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
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)