PSEUDO: Applications of streams and lazy evaluation to integrable models

Computer Physics Communications

Volumn 163, Issue 1, 2004, Pages 22-40

  Brunelli, J C ^a  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

Author keywords

Delayed evaluation; Integrable models; Lazy evaluation; MAPLE; Pseudo differential operators; Streams; Symbolic camputation

Indexed keywords

COMPUTATION THEORY; COMPUTER SOFTWARE; DATA STRUCTURES; EQUATIONS OF MOTION;

DELAYED EVALUATION; INTEGRABLE MODELS; LAZY EVALUATION; PSEUDO-DIFFERENTIAL OPERATORS;

COMPUTER SCIENCE;

EID: 5044243694     PISSN: 00104655     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cpc.2004.08.001     Document Type: Article

References (27)

1. H. Abelson, G. Sussman, Structure and Interpretation of Computer Programs, second ed., MIT Press, Cambridge, MA, 1996.
2. A. Das, Integrable Models, World Scientific, Singapore, 1989; L.A. Dickey, Soliton Equations and Hamiltonian Systems, World Scientific, Singapore, 1991; M. Błaszak, Multi-Hamiltonian Theory of Dynamical Systems, Springer-Verlag, Berlin, 1998.
3. A. Das, Integrable Models, World Scientific, Singapore, 1989; L.A. Dickey, Soliton Equations and Hamiltonian Systems, World Scientific, Singapore, 1991; M. Błaszak, Multi-Hamiltonian Theory of Dynamical Systems, Springer-Verlag, Berlin, 1998.
4. A. Das, Integrable Models, World Scientific, Singapore, 1989; L.A. Dickey, Soliton Equations and Hamiltonian Systems, World Scientific, Singapore, 1991; M. Błaszak, Multi-Hamiltonian Theory of Dynamical Systems, Springer-Verlag, Berlin, 1998.
5. M. Ito, A REDUCE program for evaluating a Lax pair form, Comp. Phys. Comm. 34 (1985) 325; Z. Popowicz, SUSY 2, Comp. Phys. Comm. 100 (1997) 277.
6. M. Ito, A REDUCE program for evaluating a Lax pair form, Comp. Phys. Comm. 34 (1985) 325; Z. Popowicz, SUSY 2, Comp. Phys. Comm. 100 (1997) 277.
7. W.M. Seiler, Pseudo differential operators and integrable systems in AXIOM, Comp. Phys. Comm. 79 (1994) 329.
8. R.D. Jenks, R.S. Sutor, AXIOM The Scientific Computation System, Springer-Verlag, Berlin, 1992.
9. D. Gruntz, Infinite structures in Maple, The Maple Technical Newsletter 1 (1994) 19.
10. J. Karczmarcznk, Scientific computation and functional programming, Comput. Sci. Eng. 3 (1999) 64.
11. J. Peterson, et al., Haskel 1.4 Report, Tech. report, Yale Univ., New Haven, Conn., http://haskell.org.
12. S.M. Watt, A fixed point method for power series computation, in: ISSAC'88, in: Lecture Notes in Comput. Sci., vol. 358, Springer-Verlag, Berlin/New York, 1989, p. 206.
13. M.D. McIlroy, The music of streams, Inform. Process. Lett. 77 (2001) 189.
14. M.D. MclIroy, Functional pearls: power series, power serious, J. Funct. Program. 9 (1999) 323.
15. J. Karczmarczuk, Generating power of lazy semantics, Theoret Comput. Sci. 187 (1997) 203.
16. W.H. Burge, S.M. Watt, Infinite structures in Scratchpad II, in: EUROCAL'87, in: Lecture Notes in Comput. Sci., vol. 378, Springer-Verlag, Berlin/New York, 1987, p. 138.
17. I.M. Gel'fand, L.A. Dikii, Fractional powers of operators and Hamiltonian systems, Funct. Anal. Appl. 10 (1976) 259.
18. P.J. Olver, Applicatians of Lie Groups to Differential Equations, second ed., Springer-Verlag, Berlin, 1993.
19. P.D. Lax, Integral of nonlinear equations of evolution and solitary waves, Comm. Pure Appl. Math. 21 (1968) 467; P.D. Las, Periodic solutions of the KdV equation, Comm. Pure Appl. Math. 28 (1975) 141.
20. P.D. Lax, Integral of nonlinear equations of evolution and solitary waves, Comm. Pure Appl. Math. 21 (1968) 467; P.D. Las, Periodic solutions of the KdV equation, Comm. Pure Appl. Math. 28 (1975) 141.
21. I.M. Ge'frand, L.A. Dikii, Asymptotic behaviour of the resolvent of Sturm-Liouville equations and the algebra of the KdV equations, Russian Math. Surveys 30 (1975) 77.
22. I.M. Gel'fand, L.A. Dikii, The resolvent and Hamiltonian systems, Funct. Anal. Appl. 11 (1977) 93.
23. M. Adler, On a trace functional for formal pseudo-differential operators and the symplectic strucuture of the KdV type equations, Invent. Math. 50 (1979) 219.
24. G. Wilson, Commuting flows and conservation laws for Lax equations, Math. Proc. Cambridge Philos. Soc. 86 (1979) 131.
25. V.G. Drinfeld, V.V. Sokolov, Lie algebras and equations of KdV type, J. Sov. Math. 30 (1985) 1975.
26. E.S. Cheb-Terrab, K. von Bülow, A computational approach for the analytical solving of partial differential equations, Comp. Phys. Comm. 90 (1995) 102.
27. J.C. Brunelli, G.A.T.F. da Costa, On the nonlocal equations and nonlocal charges associated with the Harry Dym hierarchy, J. Math. Phys. 43 (2002) 6116.