{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,13]]，“日期时间”：“2023-09-13T21:24:00Z”，“时间戳”：1694640240903}，“出版商位置”：“柏林，海德堡”，“参考计数”：59，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642152733”，“类型”：“打印”}，{“值”：“9783642152740”，“type”：“electronic”}]，“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-3642-15274-0_14”，“type”：“book-chapter”，“created”：{”date-part“：[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”软件“]”，“前缀”：“10.1007”，“author”：[{“given”：“Heinz”，“family”：“Kredel”，“sequence”：“first”，“affiliation”：[]}：“Frink，A.，Bauer，C.，Kreckel，R.：C++编程语言中用于符号计算的GiNaC框架简介。J.Symb.Comput.（2002）”，“DOI”：“10.1006\/jsco.2001.0494”}，{“key”：“14_CR2”，“unstructured”：“Stansifer，R.，Baumgartner，G.：研究计算机代数类型系统的提案。技术报告90-07，奥地利林茨约翰内斯·开普勒大学（1990）”}，{“key”：“14_CR3”，“volume-title”：“公理科学计算系统”，“year”：“1992”，“unstructured”：“Jenks，R.、Sutor，R.（eds.）公理科学计算系统。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”，“nonstructured”：“Calmet，J.，Seiler，W.M.：计算机代数和场论。数学和计算机模拟\u00a045，33\u201337（1998）”，“期刊标题”：“模拟中的数学和计算机”}，{“key”：“14_CR5”，“nonstructured”：“Watt，S.M.：论2010年计算机代数系统的未来。摘自：ASCM-MACIS 2009年会议记录，第422\u2013430页。九州大学，福冈（2009）“}，{“key”：“14_CR6”，“unstructured”：“Wolfram，S.：WolframAlpha.Technical report（2009），http://www.WolframAlpha.com/（2010年1月访问）”}，}，“key“：”14_CR7“，”unstructure“：”Certik，O.：SymPy符号数学Python库。技术报告（自2006年起），http://\/code.google.com/p/sympy\/（2009年11月访问）Eclipse开发人员：Eclipse富客户端平台（RCP）。技术报告（2008年），http://www.eclipse.org（2009年11月访问）“}，{“key”：“14_CR10”，“unstructured”：“Kramer，A.C.：MathEclipse可用作在线Java计算机代数系统或eclipse插件。技术报告（2009年，自2002年起），http://www.MathEclipse.org，（2009年10月访问）”volume-title“：《计算机代数手册》，“author”：“G.Greuel”，“year”：“2003”，“unstructured”：“Greuel，G.，Pfister，G.、Sch\u00f6nemann，H.：Singular-多项式计算的计算机代数系统。见：《计算机代数手册》，第445\u2013450页。Springer，Heidelberg（2003）“}，{“key”：“14_CR12”，“volume-title”：“交换代数的奇异性介绍”，“author”：“G.Greuel”，“year”：“2007”，“unstructured”：“Greuel，G.，Pfister，G.：交换代数的奇性介绍。Spring，Heidenberg（2007）”}，}，“key“：”14_CR13“unstrustured”，“Stein，W.：SAGE数学软件（2.7版）。SAGE\u00a0Group（自2005年起），http://www.sagemath.org（2009年11月访问）14_CR15“，“非结构化”：“Android开发者：Android是一个用于移动设备的软件堆栈，包括操作系统、中间件和关键应用程序。技术报告（2008），http://code.google.com/android//（2009年11月访问）“}，{”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.：代数系统设计的面向对象方法。In:Char，B.W.（ed.）程序。SYMSAC 1986，第24\u201330页。美国计算机学会出版社，纽约（1986）“}，{”key“：”14_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“303”，”doi“：”10.1007\/BFb0013185“，”volume-title“：“符号计算系统的设计与实现”，”author“：”R.Zippel“，”year“：”1993“，”unstructured“：”Zippel，R.：Weyl计算机代数基板。收录人：Miola，A.（编辑）DISCO 1993。LNCS，第u00a0722卷，第303\u2013318页。Springer，Heidelberg（1993）“}，{“key”：“14_CR18”，“unstructured”：“Parisse，B.：Giac\/Xcas，一个自由计算机代数系统。格勒诺布尔大学技术报告（2008）”}，}，“key“：”14_CR19“，“首页”：“237”，“volume-title”：“Proc.ISSAC 1999”，“author”：“L.Bernardin”，“年份”：“1999年”，“非结构化”：“Bernardin，L.，Char，B.，Kaltoffen，E.：Java中的符号计算：评价。摘自：Dooley，S.（编辑）Proc。ISSAC 1999，第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”：“Bernarden，L.：大规模分布式符号计算的Java框架。SIGSAM Bull.\u00a033（3），20\u201321（1999）”，“journal-title“：”SIGSAM牛市。“}，{”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.：Java符号计算的进一步评估。In:ISSAC 2000：程序。2000年符号和代数计算国际研讨会，第258\u2013265页。ACM，New York（2000）“}，{“key”：“14_CR22”，“unstructured”：“Niculescu，V.：面向对象代数库的设计方案。技术报告，Studia Universitatis\u201cBabes-Bolyai\u201d（2003）”}，“{”key“：”14_CR23“，”first page“：“160”，“volume-title”：“OOPSLA Companion”，“author”：“V.Niculescus”，“year”：“2004”，“非结构化”：“Niculescu，V.：OOLACA：抽象和计算代数的面向对象库。收录于：OOPSLA Companion，第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.：多项式算术的Java API。摘自：Proc.PPP J 2003，pp.139\u2013144。计算机科学出版社，纽约（2003）“}，{“key”：“14_CR25”，“unstructured”：“Platzer，A.：轨道库。技术报告，卡尔斯鲁厄大学（2005），http://www.functologic.com/”}，}，“key“：”14_CR26“，”unstructure“：”Jolly，R.:jscl-meditor-Java符号计算库和数学编辑器。技术报告（自2003年起），http://\/jscl-meditor.sourceforge.net\/（2009年11月访问）“}，{“key”：“14_CR27”，“unstructured”：“Kredel，H.：A3L系统透视图。收录：Proc.A3L:Algorithmic Algebra and Logic 2005，第141\u2013146页。帕绍大学（2005年4月）“}，{“key”：“14_CR28”，“unstructured”：“Focalize Developers:Focalize-是一个用于程序认证的软件发行版。技术报告（2005-2010年），http://Focalize.inria.fr（2010年6月访问）”}，}“key:”14_CR29“，”series-title“：”计算机科学课堂笔记“，”doi-asserted-by“：”publisher“，”first page“：”40“，”DOI“：”10.1007\/3-540-52531-9_122“，”volume-title“：”符号计算系统的设计与实现“，”author“：”H.J.Davenport“，”year“：”1990“，”unstructured“：”Davenport.，H.J.，Trager，B.M.：Scratchpad\u2019s view of algebral I:Basic communive algebrage。收录人：Miola，A.（编辑）DISCO 1990。LNCS，第u00a0429卷，第40\u201354页。Springer，Heidelberg（1990）“｝，｛“key”：“14_CR30”，“doi asserted by”：“crossref”，“nonstructured”：“Davenport，H.J.，Gianni，P.，Trager，B.M.：Scratchpad\u2019s代数观点II：因式分解的分类观点。In：Proc.ISSAC 1991，Bonn，pp.32\u201338（1991）”，“doi”：“10.1145\/120694120699”｝，｛“key”：“14_CR31”，“series title”：“《计算机科学讲义》，“doi asserted by”：“publisher”，“首页”：“21”，“doi”：“10.1007\\3-540-44612-5_2”，“卷标题”：“2000年计算机科学数学基础”，“作者”：“H.J.Davenport”，“年份”：“2000”，“非结构化”：“Davenport，H.J.：计算机代数中的抽象数据类型。收录：Nielsen，M.，Rovan，B.（编辑）MFCS 2000。LNCS，第u00a01893卷，第21\u201335页。Springer，Heidelberg（2000）“}，{”key“：”14_CR32“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“22”，”doi“：”10.1007\/3-540-61697-7_2“，”volume-title“：“符号计算系统的设计与实现”，”author“：”M.Bronstein“，”year“：”1996“，”unstructured“：”Bronstein-，M.：Sigma$^{\\mbox{it}}}$-一个强类型的可嵌入计算机代数库。收录：Limongelli，C.，Calmet，J.（编辑）DISCO 1996。LNCS，第u00a01128卷，第22\u201333页。Springer，Heidelberg（1996）“}，{“key”：“14_CR33”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“12”，“doi”：“10.1007\/3-540-39953-4_2”，“volume title”：“Generic Programming”，“author”：“D.Musser”，“year”：“2000”，“nonstructured”：“Musser，D.，Schupp，S.，Loos，R.：面向需求的编程——概念、含义和算法。摘自：Jazayeri，M.，Musser，D.R.，Loos，R.G.K.（编辑）Dagstuhl研讨会1998。LNCS，第u00a01766卷，第12\u201324页。Springer，Heidelberg（2000）“}，{”key“：”14_CR34“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“133”，”doi“：”10.1007\/3-540-39953-4_11“，”volume-title“：“泛型编程”，”author“：”S.Schupp“，”year“：”2000“，”unstructured“：”Schupp，S.，Loos，R.：SuchThat——通用编程有效。摘自：Jazayeri，M.，Musser，D.R.，Loos，R.G.K.（编辑）Dagstuhl研讨会1998。LNCS，卷\u00a01766，第133\u2013145页。Springer，Heidelberg（2000）“}，{”key“：”14_CR35“，”first page“：“90”，”volume-title“：”第七届科学计算符号和数值算法国际研讨会论文集“，”author“：”L.Dragan“，”year“：”2005“，”unstructured“：”Dragan，L.，Watt，S.：科学计算中泛型的性能分析。摘自：第七届科学计算符号和数字算法国际研讨会论文集，第90\u2013100页。IEEE Computer Society，Los Alamitos（2005）“}，{“key”：“14_CR36”，“unstructured”：“Freundt，S.，Horn，P.，Konovalov，A.，Linton，S.和Roozemond，D.：符号计算软件可组合协议（SCSCP）规范，1.3版。技术报告，SCIEnce Consortium（2009）“}，{“key”：“14_CR37”，“unstructured”：“OpenMath Consortium:OpenMath，2.0版。技术报告，OpenMath Consortium（2004），http://www.OpenMath.org\/standard\/om20-2004-06-30\/omstd20html-0.xml（2010年1月访问）Horn，P.，Roozemond，D.：爆米花OpenMath表示，版本1.0。技术报告，SCIEnce EU Project（2009）“}，{“key”：“14_CR40”，“unstructured”：“Horn，P.，Roozemond，D.：WUPSI通用爆米花SCSCP接口，版本1.0。技术报告，SCIEnce EU Project（2009）“}，{“key”：“14_CR41”，“unstructured”：“Jolly，R.，Kredel，H.：如何将脚本语言转换为计算机代数领域特定语言。技术报告（2008），http://\/arXiv.org\/abs\/0811.061”}，}，“key“：”14_CR42“，“unsructured“：”Jolly，R.，Kredel，H.：Java的符号脚本编程。技术报告（2009），http://\/arXiv.org\/abs\/0906.2315“}，{“key”：“14_CR43”，“doi-asserted-by”：“crossref”，“unstructured”：“Kredel，H.：关于Java计算机代数系统的设计”。摘自：Proc.PPPJ 2006，pp.143\u2013152。曼海姆大学（2006）“，”DOI“：”10.1145\/1168054.1168075“}，”key“：”14_CR44“，”series-title“：”人工智能讲义“，”DOI-asserted-by“：”publisher“，”first page“：“59”，“DOI”：“10.1007\/978-3-540-87827-8_10”，“volume-title”：“计算机数学”，“author”：“H.Kredel”，“year”：“2008”，“unstructured”：“Kredel，H.：Java计算机代数系统的评估。收录：Kapur，D.（编辑）ASCM 2007。LNCS（LNAI），第u00a05081卷，第59\u201362页。Springer，Heidelberg（2008）“}，{”key“：”14_CR45“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“121”，“doi”：“10.1007\/978-3-540-87827-8_10”，“volume-title”：“计算机数学”，“author”：“H.Kredel”，“year”：“2008”，“unstructured”：“Kredel，H.：Java计算机代数系统的评估。收录：Kapur，D.（编辑）ASCM 2007。LNCS（LNAI），卷\u00a05081，第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.：“Java Computer Algebra System中的多元最大公约数。in:Proc.Automited Deducation in Geometricy（ADG，pp.41\u201361。华东师范大学，上海（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.：关于Java计算机代数系统，其性能和应用。《计算机编程科学》\u00a070（2-3），185\u2013207（2008）“，”期刊标题“：”计算机编程科学“}，｛”键“：”14_CR48“，”首页“：”77“，”卷标题“：”ASCM 2009“，”作者“：”H.Kredel“，”年份“：”2009“，”非结构化“：”Kredel，H.：Java计算机代数系统中的综合Gr\u00f6bner基。摘自：ASCM 2009年会议记录，第77\u201390页。九州大学，福冈（2009）“}，{“key”：“14_CR49”，“volume-title”：“CISIS 2009工程复杂分布式系统研讨会”，“author”：“H.Kredel”，“year”：“2009”，“unstructured”：“Kredel，H.：分布式并行Gr\u00f6bner bases computation。In：CISI 2009工程复杂分布系统研讨会。日本福冈大学（2009），CD\u2013ROM“}，{“key”：“14_CR50”，“volume-title”：“CISIS 2010工程复杂分布式系统研讨会”，“author”：“H.Kredel”，“year”：“2010”，“unstructured”：“Kredel，H.：分布式混合Gr\u00f6bner bases computation。In：CISIS 2010.工程复杂分布式体系研讨会。波兰克拉科夫大学（2010），CD\u2013ROM“}，{“key”：“14_CR51”，“unstructured”：“Kredel，H.：Java代数系统（JAS）。技术报告（自2000年起），http://\/krum.rz.uni-mannheim.de\/JAS\/”}，}，“key“：”14_CR52“，”volume-title“：”计算机代数算法“，”author“：”K.O.Geddes“，”年份：“1993”，“非结构化”：“Geddes，K.O.，Czapor，S.R.，Labahn，G.：计算机代数算法。Kluwer Academic Publishers，Dordrecht（1993）“}，{“key”：“14_CR53”，“unstructured”：“Kramer，A.C.：Symja是一个基于MathEclipse库的Java编写的符号数学系统。技术报告（自2009年起），http://code.google.com\/p\/Symja\/（2010年1月访问）”}，}，“key“：”14_CR54“，”unstructure“：”Android脚本开发人员：Android脚本为Android带来了脚本语言。技术报告（2009），http://\/code.google.com/p/android-scripting//（2010年6月访问）Keilhauer，A.，Levy，S.D.，Lochbihler，A.，\u00d6kmen，S.，Thimm，G.L.，W\u00fcrzebesser，C.：JLinAlg：线性代数的Java语言，无舍入误差。技术报告（2003-2010），http://\/jlinalg.sourceforge.net\/（2010年1月访问）ABCL开发人员：武装熊通用lisp（ABCL）-JVM上的通用lisp。技术报告（2003-2010），http:\/\/common-lisp.net\/project\/armedbear\/（2010年1月访问）“}，{“key”：“14_CR59”，“unstructured”：“Reduce Developers:Reduce interactive system for general algebral calculations。技术报告（1968-2010），http://www.Reduce-algebral.com/（2010年2月访问）”}]，“container-title”：[“科学计算中的计算机代数”，“计算机科学中的课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3642-15274-0_14”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,11]]，“date-time”：2021-11-08T09:33:50Z“，”timestamp“：1636364030000}，”score“：1，”resource“：{”primary“：{”URL“：”http://\/link.springer.com/10.1007\/978-3642-15274-0_14“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2010]]}，《ISBN》：[“9783642152733”，“978364 2152740”]，“references-count”：59，“URL“：”http://\/dx.doi.org\/10.1007\/978-3642-15274-0_14“，”关系“：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”