{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:31:19Z","timestamp":1725665479262},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660477"},{"type":"electronic","value":"9783642602184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60218-4_15","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T17:22:09Z","timestamp":1330536129000},"page":"207-222","source":"Crossref","is-referenced-by-count":1,"title":["Extending a Java Based Framework for Scientific Software-Components"],"prefix":"10.1007","author":[{"given":"Manfred","family":"G\u00f6bel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"K\u00fcchlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Weber\u22c6","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1017\/CBO9780511565847.017","volume-title":"Gr\u00f6bner Bases and Applications\u2014Int. Conf. 33 Years of Gr\u00f6bner Bases","author":"B Amrhein","year":"1998","unstructured":"Amrhein, B., and Gloor, O. The Fractal Walk. In Gr\u00f6bner Bases and Applications\u2014Int. Conf. 33 Years of Gr\u00f6bner Bases (Feb. 1998), B. Buchberger and F. Winkler, Eds., vol. 251 of London Mathematical Society Lecture Notes Series, Cambridge University Press, pp. 305\u2013322."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0304-3975(97)00064-9","volume":"187","author":"B Amrhein","year":"1997","unstructured":"Amrhein, B., Gloor, O., and K\u00fcchlin, W. On the Walk. Theoretical Comput. Sci. 187 (1997), 179\u2013202.","journal-title":"Theoretical Comput. Sci."},{"key":"15_CR3","series-title":"Proceedings of the 5th Annual Workshop on Information Technologies & Systems (WITS\u201995)","first-page":"2","volume-title":"Aachener Informatik-Berichte","author":"P Becker","year":"1995","unstructured":"Becker, P. A framework for providing and using algorithms and algorithmic meta knowledge on the Internet. In Proceedings of the 5th Annual Workshop on Information Technologies & Systems (WITS\u201995)(1995), S. Ram and M. Jarke, Eds., no. 95-15 in Aachener Informatik-Berichte, pp. 2\u201311."},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/ICDCS.1996.508010","volume-title":"Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS\u201996)","author":"P Becker","year":"1996","unstructured":"Becker, P. An embeddable and extendable language for large-scale programming on the Internet. In Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS\u201996) (1996), pp. 594\u2013603."},{"key":"15_CR5","volume-title":"Verteiltes Modell-Management und Objektbanken f\u00fcr diskrete Probleme und diskrete Strukturen","author":"P Becker","year":"1996","unstructured":"Becker, P. Verteiltes Modell-Management und Objektbanken f\u00fcr diskrete Probleme und diskrete Strukturen. Dissertation, Wilhelm-Schickard-Institut f\u00fcr Informatik, Universit\u00e4t T\u00fcbingen, 1996."},{"key":"15_CR6","volume-title":"Universal Resource Identifiers in WWW. RFC 1630","author":"T Berners-Lee","year":"1994","unstructured":"Berners-Lee, T. Universal Resource Identifiers in WWW. RFC 1630, CERN, June 1994."},{"key":"15_CR7","first-page":"295","volume-title":"The Association for Computing Machinery","author":"CW Brown","year":"1998","unstructured":"Brown, C. W. Simplification of truth-invariant cylindrical algebraic decomposition. In Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC\u201998) (Rostock, Germany, 1998), O. Gloor, Ed., The Association for Computing Machinery, ACM, pp. 295\u2013301."},{"key":"15_CR8","first-page":"287","volume-title":"Zentrum fur Interdisziplinare Forschung, World Scientific","author":"C Chauvin","year":"1994","unstructured":"Chauvin, C., Muller, M., and Weber, A. An application of quantifier elimination to mathematical biology. In Computer Algebra in Science and Engineering (Bielefeld, Germany, Aug. 1994), J. Fleischer, J. Grabmeier, F. W. Hehl, and W. K\u00fcchlin, Eds., Zentrum fur Interdisziplinare Forschung, World Scientific, pp. 287\u2013296."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Dolzmann, A., and Sturm, T. Redlog user manual. FMI, Universit\u00e4t Passau, 94030 Passau, Germany, 1997. http:\/\/www.fmi.uni-passau.de\/ redlog\/.","DOI":"10.1145\/261320.261324"},{"key":"15_CR10","first-page":"48","volume-title":"Computer Algebra in Scientific Computing (CASC- 98)\u2014Extended Abstracts","author":"M Gaetano","year":"1998","unstructured":"Gaetano, M., Huchet, C., and Neun, W. The realization of an OpenMath server for REDUCE. In Computer Algebra in Scientific Computing (CASC- 98)\u2014Extended Abstracts (St. Petersburg, Russia, Apr. 1998), N. N. Vassiliev, Ed., pp. 48\u201356."},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/jsco.1995.1017","volume":"19","author":"M G\u00f6bel","year":"1995","unstructured":"G\u00f6bel, M. Computing bases for permutation-invariant polynomials. Journal of Symbolic Computation 19 (1995), 285\u2013291.","journal-title":"Journal of Symbolic Computation"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-61464-8_42","volume-title":"Rewriting Techniques and Applications \u2014 7th International Conference (RTA\u201996)","author":"M G\u00f6bel","year":"1996","unstructured":"G\u00f6bel, M. Symideal Grobner bases. In Rewriting Techniques and Applications \u2014 7th International Conference (RTA\u201996) (New Brunswick, NJ, U.S.A., July 1996), H. Ganzinger, Ed., vol. 1103 of Lecture Notes in Computer Science, Springer-Verlag, pp. 48\u201362."},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-62950-5_82","volume-title":"Rewriting Techniques and Applications \u2014 8th International Conference (RTA\u201997)","author":"M G\u00f6bel","year":"1997","unstructured":"G\u00f6bel, M. The invariant package of MAS. In Rewriting Techniques and Applications \u2014 8th International Conference (RTA\u201997) (Sitges, Barcelona, Spain, 1997), H. Comon, Ed., vol. 1232 of Lecture Notes in Computer Science, Springer-Verlag, pp. 327\u2013330."},{"key":"15_CR14","unstructured":"Hamilton, G. JavaBeans. Sun Microsystems, July 1997. For Version 1.01. http:\/\/java.sun.com\/beans\/ ."},{"key":"15_CR15","volume-title":"Kommunikation zwischen Progress und Java","author":"T Hermann","year":"1997","unstructured":"Hermann, T. Kommunikation zwischen Progress und Java. Studienarbeit, Wilhelm-Schickard-Institut f\u00fcr Informatik, Universit\u00e4t T\u00fcbingen, 1997."},{"key":"15_CR16","unstructured":"Hong, H. Improvements in CAD-Based Quantifier Elimination. PhD thesis, Ohio State University, Columbus, Ohio, USA, 1990."},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1997.0121","volume":"24","author":"H Hong","year":"1997","unstructured":"Hong, H., Liska, R., and Steinberg, S. Testing stability by quantifier elimination. Journal of Symbolic Computation 24, 2 (Aug. 1997), 161\u2013187.","journal-title":"Journal of Symbolic Computation"},{"key":"15_CR18","first-page":"31","volume-title":"IV International Conference on Computer Algebra in Physical Research","author":"H Kredel","year":"1990","unstructured":"Kredel, H.MAS: Modula-2 Algebra System. In IV International Conference on Computer Algebra in Physical Research(1990), V. P. Gerdt, V. A. Rostovtsev, and D. V. Shirkov, Eds., World Scientific Publishing, pp. 31\u201334. http:\/\/alice.fmi.uni-passau.de\/mas.html ."},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"5","author":"R Loos","year":"1993","unstructured":"Loos, R., and Weispfenning, V. Applying linear quantifier elimination. The Computer Journal 5 (1993), 450\u2013462.","journal-title":"The Computer Journal"},{"key":"15_CR20","unstructured":"MATSE PROJECT GROUP. The MatSe project (Linkup of Mathematical Servers in the Internet). http:\/\/iramri.wiwi.hu-berlin.de\/matse\/ 1997."},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01456821","volume":"77","author":"ED Noether","year":"1916","unstructured":"Noether, E. Der Endlichkeitssatz der Invarianten endlicher Gruppen. Math. Ann. 77 (1916), 89\u201392.","journal-title":"Math. Ann."},{"key":"15_CR22","volume-title":"OpenMath","author":"OPENMATH CONSORTIUM","year":"1997","unstructured":"OPENMATH CONSORTIUM. OpenMath. http:\/\/www.openmath.org 1997."},{"key":"15_CR23","volume-title":"and Harkey","author":"R Orfali","year":"1997","unstructured":"Orfali, R., and Harkey, D. Client\/Server Programming with JAVA and CORBA. Wiley, 1997."},{"key":"15_CR24","unstructured":"POLYMATH DEVELOPMENT GROUP. Java OpenMath Library. Centre for Experimental and Constructive Mathematics, Simon Eraser University, Burnaby, BC, Canada, 1997. Version 0.3. http:\/\/pdg.cecm.sfu.ca\/openmath\/lib\/"},{"key":"15_CR25","volume-title":"CORBA Fundamentals and Programming","author":"J Siegel","year":"1996","unstructured":"Siegel, J. CORBA Fundamentals and Programming. John Wiley & Sons, New York, 1996."},{"key":"15_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-4368-1","volume-title":"Algorithms in Invariant Theory","author":"B Sturmfels","year":"1993","unstructured":"Sturmfels, B. Algorithms in Invariant Theory. Texts and Monographs in Symbolic Computation. Springer-Verlag, Wien, 1993."},{"issue":"11\u201313","key":"15_CR27","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<1179::AID-CPE407>3.0.CO;2-8","volume":"10","author":"A Weber","year":"1998","unstructured":"Weber, A., K\u00fcchlin, W., and Eggers, B. Parallel computer algebra software as a Web component. Concurrency: Practice and Experience 10, 11\u201313 (1998), 1179\u20131188.","journal-title":"Concurrency: Practice and Experience"},{"key":"15_CR28","first-page":"133","volume-title":"Computer Algebra in Scientific Computing (CASC-98)\u2014Extended Abstracts","author":"A Weber","year":"1998","unstructured":"Weber, A., K\u00fcchlin, W., Eggers, B., and Simonis, V. A parallel Grobner solver as a Web component. In Computer Algebra in Scientific Computing (CASC-98)\u2014Extended Abstracts (St. Petersburg, Russia, Apr. 1998), N. N. Vassiliev, Ed., p. 133."},{"key":"15_CR29","unstructured":"Weber, A., K\u00fcchlin, W., and Hoss, J. Connecting and reusing computer algebra software via CORBA\u2014a case study. Submitted for the proceedings of the Dagstuhl conference on generic programming."},{"key":"15_CR30","first-page":"258","volume-title":"Association for Computing Machinery","author":"V Weispfenning","year":"1994","unstructured":"Weispfenning, V. Quantifier elimination for real algebra\u2014the cubic case. In Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation (ISSAC\u201994) (Oxford, July 1994), Association for Computing Machinery, pp. 258\u2013263."},{"issue":"2","key":"15_CR31","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V Weispfenning","year":"1997","unstructured":"Weispfenning, V. Quantifier elimination for real algebra\u2014the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing 8, 2 (Feb. 1997), 85\u2013101.","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BFb0013185","volume-title":"Design and Implementation of Symbolic Computation Systems \u2014 International Symposium DISCO\u201993","author":"R Zippel","year":"1993","unstructured":"Zippel, R. The Weyl computer algebra substrate. In Design and Implementation of Symbolic Computation Systems \u2014 International Symposium DISCO\u201993 (Gmunden, Austria, Sept. 1993), A. Miola, Ed., vol. 722 of Lecture Notes in Computer Science, Springer-Verlag, pp. 303\u2013318."},{"key":"15_CR33","unstructured":"Zippel, R. The MathBus Term Structure. Cornell University, Ithaca, NY 14853, U.S.A., 1997. http:\/\/www2.cs.cornell.edu\/Simlab\/papers\/mathbus\/mathTerm.htm."}],"container-title":["Computer Algebra in Scientific Computing CASC\u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60218-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T22:08:47Z","timestamp":1640988527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60218-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660477","9783642602184"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60218-4_15","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}