{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:58:11Z","timestamp":1725890291749},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851097"},{"type":"electronic","value":"9783540851103"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85110-3_12","type":"book-chapter","created":{"date-parts":[[2008,7,26]],"date-time":"2008-07-26T06:00:32Z","timestamp":1217052032000},"page":"141-154","source":"Crossref","is-referenced-by-count":2,"title":["Towards an Implementation of a Computer Algebra System in a Functional Language"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Lobachev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rita","family":"Loogen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Amos, D.: Haskell for Math program, http:\/\/www.polyomino.f2s.com\/david\/haskell\/codeindex.html"},{"key":"12_CR2","unstructured":"Armstrong, J.: Programming Erlang. In: The Pragmatic Programmers, LLC (2007)"},{"key":"12_CR3","volume-title":"Groovy Programming: An Introduction for Java Developers","author":"K. Barclay","year":"2006","unstructured":"Barclay, K., Savage, J.: Groovy Programming: An Introduction for Java Developers. Morgan Kaufmann Publishers Inc, San Francisco (2006)"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jsco.2001.0494","volume":"33","author":"C. Bauer","year":"2002","unstructured":"Bauer, C., Frink, A., Kreckel, R.: Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language. J. of Symbolic Computation\u00a033, 1\u201312 (2002)","journal-title":"J. of Symbolic Computation"},{"issue":"6","key":"12_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0010-4485(94)90063-9","volume":"26","author":"M.O. Benouamer","year":"1994","unstructured":"Benouamer, M.O., Michelucci, D., Peroche, B.: Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation. Computer Aided Design\u00a026(6), 403\u2013416 (1994)","journal-title":"Computer Aided Design"},{"issue":"5","key":"12_CR6","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1017\/S0956796897002827","volume":"7","author":"R.S. Bird","year":"1997","unstructured":"Bird, R.S., Jones, G., De Moor, O.: More haste, less speed: lazy versus eager evaluation. J. of Functional Programming\u00a07(5), 541\u2013547 (1997)","journal-title":"J. of Functional Programming"},{"key":"12_CR7","unstructured":"Bronstein, M., Davenport, J., Fortenbacher, A., et al.: AXIOM \u2013 the 30 year horizon (2003), http:\/\/portal.axiom-developer.org\/public\/book2.pdf"},{"key":"12_CR8","unstructured":"Capani, A., Niesi, G.: CoCoA 3.0 User\u2019s Manual. Dipartimento di Matematica, Universit\u00e0 di Genova, Via Dodecaneso, Genova (Italy), vol.\u00a035, I-16146 (1995)"},{"key":"12_CR9","unstructured":"Cint, the C\/C++ interpreter, version 5.16.19, http:\/\/root.cern.ch\/root\/Cint.html"},{"key":"12_CR10","volume-title":"The Ruby Programming Language","author":"D. Flanagan","year":"2008","unstructured":"Flanagan, D., Matsumoto, Y.: The Ruby Programming Language. O\u2019Reilly, Sebastopol (2008)"},{"key":"12_CR11","unstructured":"The GAP Group. GAP \u2013 Groups, Algorithms, and Programming, Version 4.4.10 (2008)"},{"key":"12_CR12","unstructured":"The Glorious Glasgow Haskell Compilation System User\u2019s Guide (February 2008), http:\/\/www.haskell.org\/ghc\/docs\/latest\/users_guide.pdf"},{"key":"12_CR13","unstructured":"GiNaC program, http:\/\/www.ginac.de"},{"key":"12_CR14","unstructured":"HPC-Grid for Maple program, http:\/\/www.maplesoft.com\/products\/toolboxes\/HPCgrid\/index.aspx"},{"key":"12_CR15","unstructured":"gridmathematica2 program, http:\/\/www.wolfram.com\/products\/gridmathematica\/"},{"key":"12_CR16","unstructured":"Haible, B., Kreckel, R.: CLN, a class library for numbers manual (2005), http:\/\/www.ginac.de\/CLN\/cln.ps"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Hall, C., Hammond, K., Jones, S.P., Wadler, P.: European Symposium On Programming. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, pp. 241\u2013256. Springer, Heidelberg (1994)","DOI":"10.1007\/3-540-57880-3_16"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74466-5_49","volume-title":"Euro-Par 2007 Parallel Processing","author":"K. Hammond","year":"2007","unstructured":"Hammond, K., Al Zain, A., Cooperman, G., Petcu, D., Trinder, P.: Symgrid: a framework for symbolic computation on the grid. In: Kermarrec, A.-M., Boug\u00e9, L., Priol, T. (eds.) Euro-Par 2007. LNCS, vol.\u00a04641, Springer, Heidelberg (2007)"},{"issue":"22","key":"12_CR19","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1142\/S0129626400000238","volume":"10","author":"C.A. Herrmann","year":"2000","unstructured":"Herrmann, C.A., Lengauer, C.: HDC: A Higher\u2013Order Language for Divide\u2013and-Conquer. Parallel Processing Letters\u00a010(22), 239\u2013250 (2000)","journal-title":"Parallel Processing Letters"},{"key":"12_CR20","first-page":"293","volume":"145","author":"A. Karatsuba","year":"1962","unstructured":"Karatsuba, A., Ofman, Y.: Multiplication of many-digital numbers by automatic computers. Doklady Akad. Nauk SSSR\u00a0145, 293\u2013294 (1962); Translation in Physics\u2013Doklady 7, 595\u2013596 (1963)","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"12_CR21","unstructured":"Karczmarczuk, J.: The most unreliable technique in the world to compute pi (1998)"},{"issue":"3","key":"12_CR22","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/5992.764217","volume":"1","author":"J. Karczmarczuk","year":"1999","unstructured":"Karczmarczuk, J.: Scientific computation and functional programming. Computing in Science & Engineering\u00a01(3), 64\u201372 (1999)","journal-title":"Computing in Science & Engineering"},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1011501232197","volume":"14","author":"J. Karczmarczuk","year":"2001","unstructured":"Karczmarczuk, J.: Functional differentiation of computer programs. Higher\u2013Order and Symbolic Computation\u00a014(1), 35\u201357 (2001)","journal-title":"Higher\u2013Order and Symbolic Computation"},{"key":"12_CR24","unstructured":"Knuth, D.E.: The Art of Computer Programming, 3rd edn., vol.\u00a02. Addison\u2013Wesley (1998)"},{"issue":"3","key":"12_CR25","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R. Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a-Mar\u00ed, R.: Parallel Functional Programming in Eden. Journal of Functional Programming\u00a015(3), 431\u2013475 (2005)","journal-title":"Journal of Functional Programming"},{"key":"12_CR26","unstructured":"Mechveliani, S.D.: Haskell and computer algebra. Pereslavl-Zalessky, Russia (manuscript, 2000)"},{"key":"12_CR27","unstructured":"Mechveliani, S.D.: DoCon. The Algebraic Domain Constructor Manual. Program Systems Institute, Pereslavl\u2013Zalessky, Russia, Version 2.11 (2007)"},{"key":"12_CR28","unstructured":"Milmeister, G.: Functional kernels with modules. Master\u2019s thesis, ETH Z\u00fcrich (1995)"},{"key":"12_CR29","unstructured":"Nikhil, R.S., Arvind, L.A., Hicks, J., Aditya, S., Augustsson, L., Maessen, J., Zhou, Y.: pH Language Reference Manual, Version\u00a01.0. Massachusetts Institute of Technology, Computation Structures Group Memo No.\u00a0396 (1995)"},{"key":"12_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-00551-4","volume-title":"Fast Fourier Transform and Convolution Algorithms","author":"H.J. Nussbaumer","year":"1981","unstructured":"Nussbaumer, H.J.: Fast Fourier Transform and Convolution Algorithms. Springer, Berlin (1981)"},{"key":"12_CR31","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511530104","volume-title":"Purely Functional Data Structures","author":"C. Okasaki","year":"1998","unstructured":"Okasaki, C.: Purely Functional Data Structures. Cambridge University Press, Cambridge (1998)"},{"key":"12_CR32","unstructured":"Jones, M.P., Hudak, P.: Haskell vs. Ada vs. C++ vs. awk vs.... An experiment in software prototyping productivity, Yale University, Department of Computer Science (July 1994)"},{"volume-title":"Haskell 98 Language and Libraries: The Revised Report","year":"2003","key":"12_CR33","unstructured":"Jones, S.P. (ed.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"12_CR34","volume-title":"The Maple Handbook: Maple V Release 4","author":"D. Redfern","year":"1995","unstructured":"Redfern, D.: The Maple Handbook: Maple V Release 4. Springer, Heidelberg (1995)"},{"key":"12_CR35","series-title":"Lecture Notes in Computer Science","volume-title":"Multiparadigm Programming in Mozart\/Oz","year":"2005","unstructured":"Van Roy, P. (ed.): MOZ 2004. LNCS, vol.\u00a03389. Springer, Heidelberg (2005)"},{"key":"12_CR36","unstructured":"Schaller, C.: Elimination von Funktionen h\u00f6herer Ordnung in Haskell\u2013Programmen. Master\u2019s thesis, Universit\u00e4t Passau (September 1998)"},{"key":"12_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-11607-9_1","volume-title":"Computer Algebra","author":"A. Sch\u00f6nhage","year":"1982","unstructured":"Sch\u00f6nhage, A.: Asymptotically fast algorithms for the numerical multiplication and division of polynomials with complex coefficients. In: Calmet, J. (ed.) ISSAC 1982 and EUROCAM 1982. LNCS, vol.\u00a0144, pp. 3\u201315. Springer, Heidelberg (1982)"},{"issue":"3\u20134","key":"12_CR38","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/BF02242355","volume":"7","author":"A. Sch\u00f6nhage","year":"1971","unstructured":"Sch\u00f6nhage, A., Strassen, V.: Schnelle Multiplikation gro\u00dfer Zahlen. Computing\u00a07(3\u20134), 281\u2013292 (1971)","journal-title":"Computing"},{"key":"12_CR39","unstructured":"Symbolic Computation Infrastructure for Europe project, http:\/\/www.symbolic-computation.org\/"},{"key":"12_CR40","unstructured":"Stein, W.: Sage: Open Source Mathematical Software (Version 2.10.2) The Sage Group (2008), http:\/\/www.sagemath.org"},{"key":"12_CR41","unstructured":"Thurston, D., Thielemann, H.: Haskell Numeric Prelude program, http:\/\/darcs.haskell.org\/numericprelude\/"},{"key":"12_CR42","unstructured":"Trinder, P.W., Barry Jr., E., Davis, M.K., Hammond, K., Junaidu, S.B., Klusik, U., Loidl, H.-W., Jones, S.L.P.: GpH: An Architecture\u2013Independent Functional Language. In: Glasgow Functional Programming Workshop, Pitlochry, Scotland (September 1998)"},{"key":"12_CR43","unstructured":"van Rossum, G.: The Python Language Reference Manual. Network Theory Ltd. (2006)"},{"key":"12_CR44","volume-title":"Modern Computer Algebra","author":"J. Gathen von zur","year":"2003","unstructured":"von zur Gathen, J., Gerhard, J.: Modern Computer Algebra, 2nd edn. Cambridge University Press, Cambridge (2003)","edition":"2"},{"key":"12_CR45","volume-title":"Rounding Errors in Algebraic Processes","author":"J.H. Wilkinson","year":"1963","unstructured":"Wilkinson, J.H.: Rounding Errors in Algebraic Processes. Prentice Hall, Englewood Cliffs (1963)"},{"key":"12_CR46","unstructured":"Wilkinson, J.H.: The perfidious polynomial. In: Golub, G.H. (ed.) Studies in Numerical Analysis, Mathematical Association of America, Washington, D.C, vol.\u00a024, pp. 1\u201328 (1984)"},{"key":"12_CR47","unstructured":"Wolfram, S.: Mathematica: a system for doing mathematics by computer. Wolfram Research, Inc. (1991)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85110-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:38Z","timestamp":1619522078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85110-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851097","9783540851103"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85110-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}