@techreport{f964a07124a5485f9bb5135c741aebbf,

title = "Symbolic Manipulation of Differential Systems with AXIOM Computer Algebra System",

keywords = "AXIOM, computer algebra, formal theory of partial differential equations, symbolic computation, AXIOM, computer algebra, formal theory of partial differential equations, symbolic computation, AXIOM, computer algebra, formal theory of partial differential equations, symbolic computation",

author = "S. Siltanen and {von Pfaler}, J.",

year = "1994",

language = "English",

series = "Helsinki University of Technology, Institute of Mathematics, Research Reports",

publisher = "TKK",

number = "A343",

pages = "28",

type = "WorkingPaper",

institution = "TKK",

}