ΣIT — A strongly-typed embeddable computer algebra library

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1128, Issue , 1996, Pages 22-33

  Bronstein, Manuel ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DIFFERENCE EQUATIONS; ORDINARY DIFFERENTIAL EQUATIONS;

CLIENT APPLICATIONS; COMPUTER ALGEBRA; COMPUTER ALGEBRA SYSTEMS; EFFICIENT IMPLEMENTATION; INTERACTIVE SYSTEM;

ALGEBRA;

EID: 33847194016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61697-7_2     Document Type: Conference Paper

References (14)

1. S. A. Abramov, M. Bronstein & M. Petkovek (1995): On polynomial solutions of linear operator equations, Proceedings of ISSAC'95, ACM Press, 290-296.
2. S. A. Abramov & K. Yu. Kvashenko (1991): Fast Algorithms to Search for the Rational Solutions of Linear Differentia ! Equations with Polynomial Coefficients, Proceedings of lSSAC'91, ACM Press, 267-270.
3. M. Bronstein (1992): On Solutions of Linear Ordinary Differential Equations in their Coefficient Field, Journal of Symbolic Computation 13, 413-439.
4. M. Bronstein & M. Petkovek (1996): An introduction to pseudo-linear algebra, Theoretical Computer Science 157, 3-33.
5. B. D. Jenks & R. S. Sutor (1992): Axiom-The Scientific Computation System.
6. J. J. Kovacic (1986): An Algorithm for Solving Second Order Linear Homogeneous Differential Equations, Journal of Symbolic Computation 2 3-43.
7. N. Mannhart (1995): asdoc-Aldor documentation class for ITEX2e, ftp://ftp, inf. ethz. ch/org/cathode/asharp/asdoc/.
8. F. Naegele (1995): Autour de quelques gquations fonetionnelles analytiques, These de Math-matiques Appliques, INPG, Grenoble.
9. M. Singer & F. Ulmer (1993): Galois Groups of Second and Third Order Linear Differential Equations, Journal of Symbolic Computation 16, 9-36.
10. N. Takayama (1992): Kan, ftp://ftp. math. s. kobe-u, ac. jp/pub/kan/kan96, tgz.
11. F. Ulmer & J. A. Weil (1994): Note on Kovacic's algorithm, Prepublication 94-13, IRMAR, Rennes.
12. S. M. Watt & al. (1994): A first report on the A # compiler, Proceedings of ISSAC' 94, ACM Press, 25-31.
13. S. M. Watt & et al. (1994): The A # user's guide, NAG Ltd.
14. R. Zippel (1990): The Weyl computer algebra substrate, Technical Report 90-1077, Dept. of Computer Science, Cornell University.