{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:56:24Z","timestamp":1761947784950},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616979"},{"type":"electronic","value":"9783540706359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61697-7_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:13:01Z","timestamp":1330276381000},"page":"22-33","source":"Crossref","is-referenced-by-count":10,"title":["\u03a3IT \u2014 A strongly-typed embeddable computer algebra library"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Bronstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"S. A. Abramov, M. Bronstein & M. Petkov\u0161ek (1995): On polynomial solutions of linear operator equations, Proceedings of ISSAC'95, ACM Press, 290\u2013296.","DOI":"10.1145\/220346.220384"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"S. A. Abramov & K. Yu. Kvashenko (1991): Fast Algorithms to Search for the Rational Solutions of Linear Differential Equations with Polynomial Coefficients, Proceedings of ISSAC'91, ACM Press, 267\u2013270.","DOI":"10.1145\/120694.120735"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1016\/S0747-7171(08)80106-X","volume":"13","author":"M. Bronstein","year":"1992","unstructured":"M. Bronstein (1992): On Solutions of Linear Ordinary Differential Equations in their Coefficient Field, Journal of Symbolic Computation 13, 413\u2013439.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(95)00173-5","volume":"157","author":"M. Bronstein","year":"1996","unstructured":"M. Bronstein & M. Petkov\u0161ek (1996): An introduction to pseudo-linear algebra, Theoretical Computer Science 157, 3\u201333.","journal-title":"Theoretical Computer Science"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"R. D. Jenks & R. S. Sutor (1992): Axiom \u2014 The Scientific Computation System.","DOI":"10.1007\/978-1-4612-2940-7"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(86)80010-4","volume":"2","author":"J. J. Kovacic","year":"1986","unstructured":"J. J. Kovacic (1986): An Algorithm for Solving Second Order Linear Homogeneous Differential Equations, Journal of Symbolic Computation 2 3\u201343.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR7","unstructured":"N. Mannhart (1995): asdoc \u2014 Aldor documentation class for LATEX2e, ftp:\/\/ftp.inf.ethz.ch\/org\/cathode\/asharp\/asdoc\/"},{"key":"2_CR8","volume-title":"Th\u00e8se de Math\u00e9matiques Appliqu\u00e9es","author":"F. Naegele","year":"1995","unstructured":"F. Naegele (1995): Autour de quelques \u00e9quations fonctionnelles analytiques, Th\u00e8se de Math\u00e9matiques Appliqu\u00e9es, INPG, Grenoble."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1006\/jsco.1993.1032","volume":"16","author":"M. Singer","year":"1993","unstructured":"M. Singer & F. Ulmer (1993): Galois Groups of Second and Third Order Linear Differential Equations, Journal of Symbolic Computation 16, 9\u201336.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR10","unstructured":"N. Takayama (1992): Kan, ftp:\/\/ftp.math.s.kobe-u.ac.jp\/pub\/kan\/kan96.tgz"},{"key":"2_CR11","volume-title":"Pr\u00e9publication 94-13","author":"F. Ulmer","year":"1994","unstructured":"F. Ulmer & J. A. Weil (1994): Note on Kovacic's algorithm, Pr\u00e9publication 94-13, IRMAR, Rennes."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"S. M. Watt & al. (1994): A first report on the A# compiler, Proceedings of ISSAC'94, ACM Press, 25\u201331.","DOI":"10.1145\/190347.190356"},{"key":"2_CR13","unstructured":"S. M. Watt & al. (1994): The A# user's guide, NAG Ltd."},{"key":"2_CR14","unstructured":"R. Zippel (1990): The Weyl computer algebra substrate, Technical Report 90-1077, Dept. of Computer Science, Cornell University."}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61697-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:26Z","timestamp":1605629366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61697-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616979","9783540706359"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61697-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}