{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:23:06Z","timestamp":1725564186388},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152733"},{"type":"electronic","value":"9783642152740"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15274-0_14","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T14:17:34Z","timestamp":1283609854000},"page":"162-177","source":"Crossref","is-referenced-by-count":3,"title":["Generic, Type-Safe and Object Oriented Computer Algebra Software"],"prefix":"10.1007","author":[{"given":"Heinz","family":"Kredel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael","family":"Jolly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Frink, A., Bauer, C., Kreckel, R.: Introduction to the GiNaC framework for symbolic computation within the C++ programming language. J. Symb. Comput. (2002)","DOI":"10.1006\/jsco.2001.0494"},{"key":"14_CR2","unstructured":"Stansifer, R., Baumgartner, G.: A Proposal to Study Type Systems for Computer Algebra. Technical Report 90-07, Johannes Kepler University, Linz, Austria (1990)"},{"volume-title":"Axiom The Scientific Computation System","year":"1992","key":"14_CR3","unstructured":"Jenks, R., Sutor, R. (eds.): Axiom The Scientific Computation System. Springer, Heidelberg (1992)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0378-4754(97)00084-0","volume":"45","author":"J. Calmet","year":"1998","unstructured":"Calmet, J., Seiler, W.M.: Computer algebra and field theories. Mathematics and Computers in Simulation\u00a045, 33\u201337 (1998)","journal-title":"Mathematics and Computers in Simulation"},{"key":"14_CR5","unstructured":"Watt, S.M.: On the future of Computer Algebra Systems at the threshold of 2010. In: Proceedings ASCM-MACIS 2009, pp. 422\u2013430. Kyushu University, Fukuoka (2009)"},{"key":"14_CR6","unstructured":"Wolfram, S.: WolframAlpha. Technical report (2009), http:\/\/www.wolframalpha.com\/ (accessed January 2010)"},{"key":"14_CR7","unstructured":"Certik, O.: SymPy Python library for symbolic mathematics. Technical report (since 2006), http:\/\/code.google.com\/p\/sympy\/ (accessed November 2009)"},{"key":"14_CR8","unstructured":"GWT Developers: Google Web Toolkit consists of a Java - to - JavaScript compiler, user interface API, and related tools. Technical report (2008), http:\/\/code.google.com\/webtoolkit\/ (accessed November 2009)"},{"key":"14_CR9","unstructured":"Eclipse Developers: Eclipse rich client platform (RCP). Technical report (2008), http:\/\/www.eclipse.org\/ (accessed November 2009)"},{"key":"14_CR10","unstructured":"Kramer, A.C.: MathEclipse is usable as an online Java computer algebra system or Eclipse plugin. Technical report (2009, since 2002), http:\/\/www.matheclipse.org\/ (accessed November 2009)"},{"key":"14_CR11","first-page":"445","volume-title":"Computer Algebra Handbook","author":"G. Greuel","year":"2003","unstructured":"Greuel, G., Pfister, G., Sch\u00f6nemann, H.: Singular - A Computer Algebra System for Polynomial Computations. In: Computer Algebra Handbook, pp. 445\u2013450. Springer, Heidelberg (2003)"},{"key":"14_CR12","volume-title":"A Singular introduction to commutative algebra","author":"G. Greuel","year":"2007","unstructured":"Greuel, G., Pfister, G.: A Singular introduction to commutative algebra. Springer, Heidelberg (2007)"},{"key":"14_CR13","unstructured":"Stein, W.: SAGE Mathematics Software (Version 2.7). The SAGE\u00a0Group (since 2005), http:\/\/www.sagemath.org (accessed November 2009)"},{"key":"14_CR14","unstructured":"AppEngine Developers: Google App Engine enables you to build and host web apps on the same systems that power Google applications. Technical report (2010), http:\/\/code.google.com\/appengine (accessed June 2010)"},{"key":"14_CR15","unstructured":"Android Developers: Android is a software stack for mobile devices including an operating system, middleware and key applications. Technical report (2008), http:\/\/code.google.com\/android\/ (accessed November 2009)"},{"key":"14_CR16","first-page":"24","volume-title":"Proc. SYMSAC 1986","author":"S.K. Abdali","year":"1986","unstructured":"Abdali, S.K., Cherry, G.W., Soiffer, N.: An object-oriented approach to algebra system design. In: Char, B.W. (ed.) Proc. SYMSAC 1986, pp. 24\u201330. ACM Press, New York (1986)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BFb0013185","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"R. Zippel","year":"1993","unstructured":"Zippel, R.: Weyl computer algebra substrate. In: Miola, A. (ed.) DISCO 1993. LNCS, vol.\u00a0722, pp. 303\u2013318. Springer, Heidelberg (1993)"},{"key":"14_CR18","unstructured":"Parisse, B.: Giac\/Xcas, a free computer algebra system. Technical report, University of Grenoble (2008)"},{"key":"14_CR19","first-page":"237","volume-title":"Proc. ISSAC 1999","author":"L. Bernardin","year":"1999","unstructured":"Bernardin, L., Char, B., Kaltofen, E.: Symbolic computation in Java: an appraisement. In: Dooley, S. (ed.) Proc. ISSAC 1999, pp. 237\u2013244. ACM Press, New York (1999)"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/347127.347401","volume":"33","author":"L. Bernardin","year":"1999","unstructured":"Bernardin, L.: A Java framework for massively distributed symbolic computing. SIGSAM Bull.\u00a033(3), 20\u201321 (1999)","journal-title":"SIGSAM Bull."},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/345542.345647","volume-title":"ISSAC 2000: Proc. International Symposium on Symbolic and Algebraic Computation 2000","author":"A.C. Norman","year":"2000","unstructured":"Norman, A.C.: Further evaluation of Java for symbolic computation. In: ISSAC 2000: Proc. International Symposium on Symbolic and Algebraic Computation 2000, pp. 258\u2013265. ACM, New York (2000)"},{"key":"14_CR22","unstructured":"Niculescu, V.: A design proposal for an object oriented algebraic library. Technical report, Studia Universitatis \u201cBabes-Bolyai\u201d (2003)"},{"key":"14_CR23","first-page":"160","volume-title":"OOPSLA Companion","author":"V. Niculescu","year":"2004","unstructured":"Niculescu, V.: OOLACA: an object oriented library for abstract and computational algebra. In: OOPSLA Companion, pp. 160\u2013161. ACM, New York (2004)"},{"key":"14_CR24","first-page":"139","volume-title":"Proc. PPPJ 2003","author":"C. Whelan","year":"2003","unstructured":"Whelan, C., Duffy, A., Burnett, A., Dowling, T.: A Java API for polynomial arithmetic. In: Proc. PPPJ 2003, pp. 139\u2013144. Computer Science Press, New York (2003)"},{"key":"14_CR25","unstructured":"Platzer, A.: The Orbital library. Technical report, University of Karlsruhe (2005), http:\/\/www.functologic.com\/"},{"key":"14_CR26","unstructured":"Jolly, R.: jscl-meditor - Java symbolic computing library and mathematical editor. Technical report (since 2003), http:\/\/jscl-meditor.sourceforge.net\/ (accessed November 2009)"},{"key":"14_CR27","unstructured":"Kredel, H.: A systems perspective on A3L. In: Proc. A3L: Algorithmic Algebra and Logic 2005, pp. 141\u2013146. University of Passau (April 2005)"},{"key":"14_CR28","unstructured":"Focalize Developers: Focalize is a software distribution for program certification. Technical report (2005-2010), http:\/\/focalize.inria.fr\/ (accessed June 2010)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-52531-9_122","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"H.J. Davenport","year":"1990","unstructured":"Davenport, H.J., Trager, B.M.: Scratchpad\u2019s view of algebra I: Basic commutative algebra. In: Miola, A. (ed.) DISCO 1990. LNCS, vol.\u00a0429, pp. 40\u201354. Springer, Heidelberg (1990)"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Davenport, H.J., Gianni, P., Trager, B.M.: Scratchpad\u2019s view of algebra II: A categorical view of factorization. In: Proc. ISSAC 1991, Bonn, pp. 32\u201338 (1991)","DOI":"10.1145\/120694.120699"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-44612-5_2","volume-title":"Mathematical Foundations of Computer Science 2000","author":"H.J. Davenport","year":"2000","unstructured":"Davenport, H.J.: Abstract data types in Computer Algebra. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 21\u201335. Springer, Heidelberg (2000)"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-61697-7_2","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"M. Bronstein","year":"1996","unstructured":"Bronstein, M.: Sigma $^{\\mbox{{it}}}$ - a strongly-typed embeddable computer algebra library. In: Limongelli, C., Calmet, J. (eds.) DISCO 1996. LNCS, vol.\u00a01128, pp. 22\u201333. Springer, Heidelberg (1996)"},{"key":"14_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/3-540-39953-4_2","volume-title":"Generic Programming","author":"D. Musser","year":"2000","unstructured":"Musser, D., Schupp, S., Loos, R.: Requirement oriented programming - concepts, implications and algorithms. In: Jazayeri, M., Musser, D.R., Loos, R.G.K. (eds.) Dagstuhl Seminar 1998. LNCS, vol.\u00a01766, pp. 12\u201324. Springer, Heidelberg (2000)"},{"key":"14_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-39953-4_11","volume-title":"Generic Programming","author":"S. Schupp","year":"2000","unstructured":"Schupp, S., Loos, R.: SuchThat - generic programming works. In: Jazayeri, M., Musser, D.R., Loos, R.G.K. (eds.) Dagstuhl Seminar 1998. LNCS, vol.\u00a01766, pp. 133\u2013145. Springer, Heidelberg (2000)"},{"key":"14_CR35","first-page":"90","volume-title":"Proceedings of Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","author":"L. Dragan","year":"2005","unstructured":"Dragan, L., Watt, S.: Performance Analysis of Generics in Scientific Computing. In: Proceedings of Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 90\u2013100. IEEE Computer Society, Los Alamitos (2005)"},{"key":"14_CR36","unstructured":"Freundt, S., Horn, P., Konovalov, A., Linton, S., Roozemond, D.: Symbolic computation software composability protocol (SCSCP) specification, version 1.3. Technical report, SCIEnce Consortium (2009)"},{"key":"14_CR37","unstructured":"OpenMath Consortium: OpenMath, version 2.0. Technical report, OpenMath Consortium (2004), http:\/\/www.openmath.org\/standard\/om20-2004-06-30\/omstd20html-0.xml (accessed January 2010)"},{"key":"14_CR38","unstructured":"SCIEnce Consortium: Symbolic computation infrastructure for Europe. Technical report, SCIEnce Consortium (2009)"},{"key":"14_CR39","unstructured":"Horn, P., Roozemond, D.: The Popcorn OpenMath representation, version 1.0. Technical report, SCIEnce EU Project (2009)"},{"key":"14_CR40","unstructured":"Horn, P., Roozemond, D.: WUPSI universal Popcorn SCSCP interface, version 1.0. Technical report, SCIEnce EU Project (2009)"},{"key":"14_CR41","unstructured":"Jolly, R., Kredel, H.: How to turn a scripting language into a domain specific language for computer algebra. Technical report (2008), http:\/\/arXiv.org\/abs\/0811.1061"},{"key":"14_CR42","unstructured":"Jolly, R., Kredel, H.: Symbolic script programming for Java. Technical report (2009), http:\/\/arXiv.org\/abs\/0906.2315"},{"key":"14_CR43","doi-asserted-by":"crossref","unstructured":"Kredel, H.: On the Design of a Java Computer Algebra System. In: Proc. PPPJ 2006, pp. 143\u2013152. University of Mannheim (2006)","DOI":"10.1145\/1168054.1168075"},{"key":"14_CR44","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-87827-8_10","volume-title":"Computer Mathematics","author":"H. Kredel","year":"2008","unstructured":"Kredel, H.: Evaluation of a Java Computer Algebra System. In: Kapur, D. (ed.) ASCM 2007. LNCS (LNAI), vol.\u00a05081, pp. 59\u201362. Springer, Heidelberg (2008)"},{"key":"14_CR45","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-87827-8_10","volume-title":"Computer Mathematics","author":"H. Kredel","year":"2008","unstructured":"Kredel, H.: Evaluation of a Java computer algebra system. In: Kapur, D. (ed.) ASCM 2007. LNCS (LNAI), vol.\u00a05081, pp. 121\u2013138. Springer, Heidelberg (2008)"},{"key":"14_CR46","first-page":"41","volume-title":"Proc. Automated Deduction in Geometry (ADG)","author":"H. Kredel","year":"2008","unstructured":"Kredel, H.: Multivariate greatest common divisors in the Java Computer Algebra System. In: Proc. Automated Deduction in Geometry (ADG), pp. 41\u201361. East China Normal University, Shanghai (2008)"},{"issue":"2-3","key":"14_CR47","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.scico.2007.07.010","volume":"70","author":"H. Kredel","year":"2008","unstructured":"Kredel, H.: On a Java Computer Algebra System, its performance and applications. Science of Computer Programming\u00a070(2-3), 185\u2013207 (2008)","journal-title":"Science of Computer Programming"},{"key":"14_CR48","first-page":"77","volume-title":"Proceedings ASCM 2009","author":"H. Kredel","year":"2009","unstructured":"Kredel, H.: Comprehensive Gr\u00f6bner bases in a Java Computer Algebra System. In: Proceedings ASCM 2009, pp. 77\u201390. Kyushu University, Fukuoka (2009)"},{"key":"14_CR49","volume-title":"Proc. Workshop on Engineering Complex Distributed Systems at CISIS 2009","author":"H. Kredel","year":"2009","unstructured":"Kredel, H.: Distributed parallel Gr\u00f6bner bases computation. In: Proc. Workshop on Engineering Complex Distributed Systems at CISIS 2009. University of Fukuoka, Japan (2009), CD\u2013ROM"},{"key":"14_CR50","volume-title":"Proc. Workshop on Engineering Complex Distributed Systems at CISIS 2010","author":"H. Kredel","year":"2010","unstructured":"Kredel, H.: Distributed hybrid Gr\u00f6bner bases computation. In: Proc. Workshop on Engineering Complex Distributed Systems at CISIS 2010. University of Krakow, Poland (2010), CD\u2013ROM"},{"key":"14_CR51","unstructured":"Kredel, H.: The Java algebra system (JAS). Technical report (since 2000), http:\/\/krum.rz.uni-mannheim.de\/jas\/"},{"key":"14_CR52","volume-title":"Algorithms for Computer Algebra","author":"K.O. Geddes","year":"1993","unstructured":"Geddes, K.O., Czapor, S.R., Labahn, G.: Algorithms for Computer Algebra. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"14_CR53","unstructured":"Kramer, A.C.: Symja a symbolic math system written in Java based on the MathEclipse libraries. Technical report (since 2009), http:\/\/code.google.com\/p\/symja\/ (accessed January 2010)"},{"key":"14_CR54","unstructured":"Android Scripting Developers: Android Scripting brings scripting languages to android. Technical report (2009), http:\/\/code.google.com\/p\/android-scripting\/ (accessed June 2010)"},{"key":"14_CR55","unstructured":"Apache Software Foundation: Commons-Math: The Jakarta mathematics library. Technical report (2003-2010), http:\/\/commons.apache.org\/ (accessed November 2009)"},{"key":"14_CR56","unstructured":"Keilhauer, A., Levy, S.D., Lochbihler, A., \u00d6kmen, S., Thimm, G.L., W\u00fcrzebesser, C.: JLinAlg: a Java-library for linear algebra without rounding errors. Technical report (2003-2010), http:\/\/jlinalg.sourceforge.net\/ (accessed January 2010)"},{"key":"14_CR57","unstructured":"Sun Microsystems, Inc.: JSR 223: Scripting for the Java platform. Technical report (2003-2006), http:\/\/scripting.dev.java.net\/ (accessed November 2009)"},{"key":"14_CR58","unstructured":"ABCL Developers: Armed bear common lisp (ABCL) - common lisp on the JVM. Technical report (2003-2010), http:\/\/common-lisp.net\/project\/armedbear\/ (accessed January 2010)"},{"key":"14_CR59","unstructured":"Reduce Developers: REDUCE interactive system for general algebraic computations. Technical report (1968-2010), http:\/\/www.reduce-algebra.com\/ (accessed January 2010)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15274-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T09:33:50Z","timestamp":1636364030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15274-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152733","9783642152740"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15274-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}