×

找到49个文档（结果1-49）

最新的 引文 关联
尤金尼奥·罗内斯·洛扎诺;加兰·加西亚，何塞·路易斯;卡门·索拉诺·马西亚斯

关于计算机代数系统的成功与影响的几点思考得到从10年的角度来看。 （英语） Zbl 1493.68403号

数学。计算。科学。 13，第3期，417-431（2019）.
MSC公司：68瓦30 68-03 97单位50 97U70型
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}等人，数学。计算。科学。13，第3号，417--431（2019；Zbl 1493.68403）
全文： 内政部
艾丽卡·阿尔布拉汉姆;阿博特，约翰;贝恩德·贝克尔;安娜·比加蒂（Anna M.Bigatti）。;布莱恩，马丁;布赫伯格，布鲁诺;亚历山德罗·西马蒂;詹姆斯·达文波特。;英格兰，马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆

联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） Zbl 1344.68198号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，28-43（2016）。
MSC公司：第68页第15页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。9791，28-43（2016；Zbl 1344.68198）
全文： 内政部 arXiv公司
乔里斯·范德霍温

Mathemagix类型系统概述。 （英语） Zbl 1352.68306号

冯汝勇（编辑）等，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格出版社（ISBN 978-3-662-43798-8/hbk；978-3-762-43799-5/电子书）。397-425 (2014).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛J.van der Hoeven｝，in：计算机数学。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格。397--425（2014；Zbl 1352.68306）
全文： 内政部 哈尔
弗里茨·施瓦兹

ALLTYPES：代数语言和类型系统。 （英语） Zbl 1057.68151号

Cohen，Arjeh M.（编辑）等人，《数学软件》。第一届国际会议记录，中国北京，2002年8月17日至19日。新加坡：世界科学（ISBN 981-238-048-5）。486-500 (2002).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{F.Schwarz}，in：数学软件。第一届国际会议记录，中国北京，2002年8月17日至19日。新加坡：世界科学。486--500（2002年；Zbl 1057.68151）
法默，威廉·M。;马丁·冯·莫伦柴尔德

管理数学的正式框架。 （英语） Zbl 0982.68114号

Buchberger，Bruno（编辑）等人，《数学知识管理：MKM 2001》。第一届国际研讨会电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24-26日。林茨：林茨大学，37页（2001年）。
MSC公司：第68页第15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}和\textit{M.von Mohrenschildt}，in：数学知识管理：MKM 2001。第一届国际研讨会的电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24日至26日。林茨：林茨大学。37页（2001年；Zbl 0982.68114）
全文： 链接
沃尔夫拉姆·科普夫

正交多项式和计算机代数。 （英语） Zbl 0955.68131号

Gilbert，Robert P.（编辑）等人，复分析和计算机代数的最新发展。1997年6月2日至7日在德国纽瓦克举行的ISAAC’97大会特别会议上提交的论文。多德雷赫特：Kluwer学术出版社。国际社会分析。申请。计算。4, 205-234 (1999).
MSC公司：68瓦30 33立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{W.Koepf}，国际社会分析。申请。计算。4205-234（1999年；兹bl 0955.68131）
罗洛夫·斯特罗克。;约翰·F·卡肖克（Johan F.Kaashoek）。
[胡格海德，L.F。]

与Maple一起发现数学。数学家、工程师和计量经济学家的互动探索。在L.F.Hoogerheide的协助下。包括1张CD-ROM。 （英语） Zbl 0924.65003号

巴塞尔：Birkhä用户。xvii，227页（1999年）。
审核人：马蒂·武奥里宁（赫尔辛基）
MSC公司：65-01 68瓦30 65传真 68-01 65Dxx日 00A06号 65C99个
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Stroeker}和\textit{J.F.Kaashoek}，用Maple发现数学。数学家、工程师和计量经济学家的互动探索。在L.F.Hoogerheide的协助下。包括1张CD-ROM。巴塞尔：Birkhäuser（1999；Zbl 0924.65003）
马丁·邓斯坦;汤姆·凯尔西;史蒂夫·林顿;乌苏拉·马丁

计算机代数系统的轻量级形式化方法。 （英语） Zbl 0918.68053号

奥利弗·格洛尔（编辑），《1998年符号和代数计算国际研讨会论文集》，ISSAC’98，德国罗斯托克，1998年8月13日至15日。纽约州纽约市：ACM出版社。80-87 (1998).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Dunstan}等人，《1998年符号和代数计算国际研讨会论文集》，ISSAC’98，德国罗斯托克，1998年8月13-15日。纽约州纽约市：ACM出版社。80-87（1998年；Zbl 0918.68053）
汉斯·本克

工程数学与计算机代数系统。应用程序：AXIOM、DERIVE、MACSYMA、MAPLE、MATHCAD、MATHEMATICA、MATLAB UND MuPAD。（计算机代数系统工程师。AXIOM、DERIVE、MACSYMA、MAPLE、MATHCAD、MATHEMATICA、MATLAB和MuPAD。） （德语） Zbl 0909.68109号

Reihe Ausbildung和Studium。布伦瑞克：维埃格。xiii，439 S.（1998年）。
审核人：赫尔穆特·科彻（德累斯顿）
MSC公司：68瓦30 68-01 00A06号 68-04 65D18天
PDF格式BibTeX公司 XML格式引用
\textit{H.Benker}，Ingenieurmathematik mit Computeralgebra-Systemen公司。安文敦的AXIOM、DERIVE、MACSYMA、MAPLE、MATHCAD、MATHEMATICA、MATLAB和MuPAD。布伦瑞克：Vieweg（1998；Zbl 0909.68109）
乔治·莱因哈特。;坐下，威廉

微分齐次微分多项式。 （英语） Zbl 2005年20月9日

Lakshman，Y.N.（编辑），1996年符号和代数计算国际研讨会论文集，ISSAC'96，瑞士苏黎世，1996年7月24日至26日。纽约州纽约市：ACM出版社。212-218 (1996).
审核人：N.V.格里戈伦科（基辅）
MSC公司：2005年12月 2005年12月 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{G.M.Reinhart}和\textit{W.Sit}，摘自：1996年符号和代数计算国际研讨会论文集，1996年7月24日至26日，瑞士苏黎世ISSAC’96。纽约州纽约市：ACM出版社。212-218（1996；Zbl 0920.2005）
理查德·J·法特曼。

符号数学系统评估员。（扩展摘要）。 （英语） Zbl 0917.68097号

Lakshman，Y.N.（编辑），《1996年符号和代数计算国际研讨会论文集》，1996年7月24日至26日，瑞士苏黎世，ISSAC’96。纽约州纽约市：ACM出版社。86-94 (1996).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Fateman}，摘自：1996年符号和代数计算国际研讨会论文集，1996年7月24日至26日，瑞士苏黎世，ISSAC’96。纽约州纽约市：ACM出版社。86-94（1996年；Zbl 0917.68097）
约切姆·弗莱舍（编辑）;J·格拉布迈尔。（编辑）;赫尔，F.W。（编辑）;库奇林，W。（编辑）

《科学与工程中的计算机代数》，1994年8月28日至31日，德国比勒费尔德，Interdisziplinary研究中心（ZiF）研讨会。 （英语） Zbl 0941.68828号

新泽西州River Edge：《世界科学》。ix，第356页（1995年）。
MSC公司：68瓦30 68-01
PDF格式BibTeX公司 XML格式引用
\textit{J.Fleischer}（ed.）et al.，《科学与工程中的计算机代数》，1994年8月28日至31日，德国比勒费尔德跨学科研究中心（ZiF）研讨会。新泽西州River Edge：世界科学（1995；Zbl 0941.68828）
拉里·兰姆

下一代计算机代数系统AXIOM和Scratchpad概念：代数研究的应用。 （英语） Zbl 0832.18001号

Gyllenberg，Mats（编辑）等人，《数学研究中的分析、代数和计算机》。第21届北欧数学家大会论文集，瑞典卢勒科技大学，1992年。纽约州纽约市：马塞尔·德克尔。莱克特。Notes纯应用。数学。156, 201-222 (1994).
MSC公司：18-04 68瓦30 20-04 18世纪15年代 18国道35号 55单元15 20J05型 16E40型
PDF格式BibTeX公司 XML格式引用
\textit{L.Lambe}，莱克特。Notes纯应用。数学。156201-222（1994年；Zbl 0832.18001）
克里普甘茨，Jochen;霍尔格·珀尔特

使用Mathematica。带有示例的介绍。（阿尔贝滕·米特·马塞马提卡（Arbeiten mit Mathematica）、艾恩·埃因夫（Eine Einführung mit Beispelen） （德语） 兹伯利0817.68041

慕尼黑：汉瑟。194页（1994年）。
MSC公司：68甲15 68N99型 68-01
PDF格式BibTeX公司 XML格式引用
\textit{J.Kripfganz}和\textit{H.Perlt}，Arbeiten mit Mathematica。Eine Einführung mit Beispilen。慕尼黑：Hanser（1994；Zbl 0817.68041）
安德烈亚斯·韦伯

强制类型推理的算法。 （英语） Zbl 0964.68579号

Von zur Gatheren，Joachim（编辑）等人，国际标准化协会'94年。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。324-329 (1994).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.Weber}，收录于：ISSAC’94。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。324--329（1994；Zbl 0964.68579）
亚当·丁格尔;理查德·J·法特曼。

计算机代数中的分支。 （英语） Zbl 0928.68146号

Von zur Gatheren，Joachim（编辑）等人，国际标准化协会'94年。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。250-257（1994年）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.Dingle}和\textit{R.J.Fateman}，收录于：ISSAC'94。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。250-257（1994年；Zbl 0928.68146）
达文波特，J.H。;西雷特，Y。;托尼尔，E。

计算机代数。代数计算系统和算法。Transl.公司。来自法国的A.Davenport A.J.H.Davenport。第2版。 （英语） Zbl 0865.68064号

伦敦：学术出版社。xix，298 p.$45.00/hc（1993年）。
审核人：O.Ninnemann（柏林）
MSC公司：68瓦30 68-01 2005年12月 13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}等人，《计算机代数》。代数计算系统和算法。Transl.公司。来自法国的A.Davenport A.J.H.Davenport。第二版伦敦：学术出版社（1993；Zbl 0865.68064）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件