×

找到437个文档（结果1-100）

最新 引文 关联
布雷丁，保罗;蒂尔库·兹利姆·切利克;蒂莫西·达夫;亚历山大·希顿;艾达·马拉杰;安娜·卢拉·萨特尔伯格;洛伦佐·文图雷洛;乌兹汗州尤鲁克

非线性代数及其应用。 （英语） Zbl 1522.13040号

数字。代数控制优化。 13，编号1，81-116（2023）.
审核人：Hanieh Keneshlou（莱比锡）
MSC公司：13第25页 第14季度20 62卢比
PDF格式BibTeX公司 XML格式引用
\textit{P.Breiding}等人，数字。代数控制优化。13，编号1，81--116（2023；Zbl 1522.13040）
全文： 内政部 arXiv公司
加兰·加西亚，何塞·路易斯;佩德罗·罗德里格斯·西洛斯;加兰·加西亚，玛丽亚·安格尔;摩根·勒戈夫;尤兰达帕迪拉·多明格斯;巴勃罗·罗德里格斯-帕迪利亚;伊万·阿滕西亚;加布里埃尔·阿奎列拉·维内加斯

SODES：逐步求解常微分方程。 （英语） Zbl 07711002号

J.计算。申请。数学。 428，文章ID 115127，16 p.（2023）.
MSC公司：68瓦xx 68倍 65年xx月
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Galán-García}等人，《计算杂志》。申请。数学。428，文章ID 115127，16 p.（2023；Zbl 07711002）
全文： 内政部
巴特金，A.B。;Khaidarov，Z.Kh。

哈密顿系统中强共振条件的计算。 （英语。俄文原件） Zbl 1527.70002号

计算。数学。数学。物理学。 63，第5号，687-703（2023）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，第5期，697-714（2023）。
MSC公司：70-08 70年上半年 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Batkhin}和\textit{Z.Kh.Khaidarov}，计算。数学。数学。物理学。63，编号5，687--703（2023；Zbl 1527.70002）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，编号5，697--714（2023）
全文： 内政部
尤金尼奥·罗内斯·洛扎诺;卡门·索拉诺·马西亚斯

关于动态几何系统的成功与书目影响的思考GeoGebra公司. （英语） Zbl 07702681号

数学。计算。科学。 17，第2号，第11号论文，第14页（2023年）.
MSC公司：68瓦30 97页40页 97页70 68甲15 第68页第35页
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}和\textit{C.Solano-Macías}，数学。计算。科学。17，第2号，第11号论文，第14页（2023；Zbl 07702681）
全文： 内政部
沃尔夫拉姆·科普夫

计算机代数。面向算法的介绍。2006年德语版的翻译和更新。 （英语） Zbl 1484.68004号

施普林格大学数学与技术专业本科生课文查姆：施普林格（ISBN 978-3-030-78016-6/hbk；978-3-0.30-78019-7/pbk；979-3-030-7.8017-3/电子书）。xii，第384页。(2021).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：68-01 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.Koepf}，计算机代数。面向算法的介绍。2006年德语版的翻译和更新。查姆：施普林格（2021；Zbl 1484.68004）
全文： 内政部
尤金尼奥·罗内斯·洛扎诺;加兰·加西亚，何塞·路易斯;加布里埃尔·阿奎列拉·维内加斯

使用图形进行超车站轨道布置图设计的计算机方法。这些车站的备选轨道图建议。 （英语） Zbl 1524.90113号

J.计算。申请。数学。 391，文章ID 113455，12 p.（2021）.
MSC公司：90B20型 68瓦30 90立方厘米35
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}等人，《计算杂志》。申请。数学。391，文章ID 113455，12 p.（2021；Zbl 1524.90113）
全文： 内政部
尤金尼奥·罗内斯·洛扎诺

使用计算机代数系统在超车站的铁路联锁系统中寻找兼容的路线。 （英语） Zbl 1523.90077

Boulier，François（编辑）等人，《科学计算中的计算机代数》。第22届国际研讨会，CASC 2020，奥地利林茨，2020年9月14日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12291, 528-542 (2020).
MSC公司：90B20型 68瓦30 90立方厘米35
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}，莱克特。注释计算。科学。12291528-542（2020年；兹比尔1523.90077）
全文： 内政部
安娜·C·卡玛戈斯·库托;马克·莫雷诺（Marc Moreno Maza）;大卫·林德;大卫·J·杰弗里。;罗伯特·M·科尔利斯（Robert M.Corless）。

多项式矩阵的综合因子。 （英语） Zbl 07441062号

Daniel Slamanig（编辑）等人，《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11989, 80-88 (2020).
MSC公司：68倍 65-XX岁
PDF格式BibTeX公司 XML格式引用
\textit｛A.C.C.Couto｝等人，Lect。注释计算。科学。11989，80-88（2020；Zbl 07441062）
全文： 内政部
Gevorkyan，M.N。;科尔科娃（A.V.Korolkova）。;库利亚波夫，D.S。;塞瓦斯特亚诺夫，洛杉矶。

计算机代数系统的模块扩展。 （英语。俄文原件） Zbl 1455.68283号

程序。计算。柔和。 46，第2期，98-104（2020年）; 译自Programmirovanie 46，No.2，30-37（2020）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Gevorkyan}等人，程序。计算。柔和。46，第2号，98--104（2020；Zbl 1455.68283）；译自Programmirovanie 46，No.2，30-37（2020）
全文： 内政部 arXiv公司
默里·布雷纳;弗拉基米尔·多森科

歌剧《谎言》和《喜剧》之间的分配规律。 （英语） Zbl 1458.18010号

国际代数计算杂志。 30，第8期，1565-1576（2020）.
审核人：Udhayakumar Ramalingam（维洛尔）
MSC公司：18个60毫米 13立方厘米 13N15号 13页第10页 15A54号 15A69号 16S37型 17A30型 17A50型 17B60型 17B63型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Bremner}和\textit{V.Dotsenko}，国际代数计算杂志。30，编号8，1565-1576（2020；兹bl 1458.18010）
全文： 内政部 arXiv公司
佐林，A.V。;特雷季亚科夫，N.P。

在Maple计算机代数系统中使用非负分布函数计算量子力学中的跃迁概率。 （英语。俄文原件） Zbl 1450.81069号

计算。数学。数学。物理学。 60，第1期，82-89（2020）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60，第1期，88-95（2020年）。
MSC公司：81V45型 81S30个 81S20美元 第81页第15页 81第05页 81V80型 65升60 68问题85 81-08
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Zorin}和\textit{N.P.Tretyakov}，计算。数学。数学。物理学。60，第1号，82-89（2020；Zbl 1450.81069）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60，第1号，88--95（2020年）
全文： 内政部
S.A.古尼克。;萨里切夫，V.A。

应用计算机代数方法研究在圆轨道上运动的两个相连物体系统的静止运动。 （英语。俄文原件） Zbl 1476.70012号

计算。数学。数学。物理学。 60，第1号，74-81（2020）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60，第1期，80-87（2020年）。
MSC公司：70F05型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Gutnik}和\textit{V.A.Sarychev}，计算。数学。数学。物理学。60，第1号，74--81（2020；Zbl 1476.70012）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60，第1号，80--87（2020年）
全文： 内政部
阿布拉莫夫，S.A。;Ryabenko，A.A。;Khmelnov，D.E。

线性常微分方程和截断级数的正则解。 （英语。俄文原件） Zbl 1454.34026号

计算。数学。数学。物理学。 60，第1期，第1-14页（2020年）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60，第1期，第4-17页（2020年）。
MSC公司：34A25型 34A30型 34A05型
PDF格式BibTeX公司 XML格式引用
\textit｛S.A.Abramov｝等人，计算机。数学。数学。物理学。60，第1号，1-14（2020；Zbl 1454.34026）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60，第1号，第4--17号（2020年）
全文： 内政部
阿尔班Quadrat;乔治·雷根斯堡

计算多项式系数积分微分算子的多项式解和零化子。 （英语） Zbl 07244750号

Quadrat，Alban（编辑）等人，动力学系统中的代数和符号计算方法。基于为2013年2月4日至6日在法国格勒诺布尔举行的第五届系统结构和控制研讨会以及2014年7月7日至11日在荷兰格罗宁根举行的第二十一届网络和系统数学理论国际研讨会（MTNS 2014）的受邀会议撰写的文章。查姆：斯普林格。高级延迟动态。9, 87-114 (2020).
MSC公司：4720万
PDF格式BibTeX公司 XML格式引用
\textit{A.Quadrat}和\textit{G.Regensburger}，高级延迟动态。9、87-114（2020；Zbl 07244750）
全文： 内政部 哈尔
托马斯·克鲁索;阿尔班Quadrat

线性函数系统的等价性。 （英语） Zbl 1448.93053号

Quadrat，Alban（编辑）等人，动力学系统中的代数和符号计算方法。基于为2013年2月4日至6日在法国格勒诺布尔举行的第五届系统结构和控制研讨会以及2014年7月7日至11日在荷兰格罗宁根举行的第二十一届网络和系统数学理论国际研讨会（MTNS 2014）的受邀会议撰写的文章。查姆：斯普林格。高级延迟动态。9, 53-86 (2020).
审核人：Krzysztof Gałkowski（齐埃罗娜·戈拉）
MSC公司：93B25型 93二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{T.Cluzeau}和\textit{A.Quadrat}，高级延迟动态。9、53-86（2020年；Zbl 1448.93053）
全文： 内政部 哈尔
沃尔夫拉姆·科普夫

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

Foupoagnigni，Mama（编辑）等人，《正交多项式》。2018年10月5日至12日，喀麦隆杜阿拉，AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆：Birkhäuser。导师。附表。数学研讨会。科学。，479-493 (2020).
MSC公司：33立方厘米 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.Koepf}，in：正交多项式。2018年10月5日至12日，喀麦隆杜阿拉，AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆：Birkhäuser。479--493（2020年；Zbl 1443.33019）
全文： 内政部
沃尔夫拉姆·科普夫

计算机代数、幂级数和求和。 （英语） Zbl 1443.33035号

Foupoagnigni，Mama（编辑）等人，《正交多项式》。2018年10月5日至12日，喀麦隆杜阿拉，AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆：Birkhäuser。导师。附表。数学研讨会。科学。，113-136 (2020).
MSC公司：33层10 33立方厘米20 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.Koepf}，in：正交多项式。2018年10月5日至12日，喀麦隆杜阿拉，AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆：Birkhäuser。113-136（2020年；Zbl 1443.33035）
全文： 内政部
爱德华多·巴罗·科洛查诺

几何代数应用第一卷：计算机视觉、图形和神经计算。 （英语） 兹比尔1475.68004

查姆：施普林格（ISBN 978-3-319-74828-3/hbk；978-3-030-09085-2/pbk；978-1-319-74830-6/电子书）。xxxii，742页。(2019).
MSC公司：68-02 15A67型 68泰克 68单位05 68平方英寸10
PDF格式BibTeX公司 XML格式引用
\textit{E.Bayro-Corrochano}，几何代数应用第一卷，计算机视觉、图形和神经计算。查姆：施普林格（2019；Zbl 1475.68004）
全文： 内政部
加兰·加西亚，何塞·路易斯;加布里埃尔·阿奎列拉·维内加斯;佩德罗·罗德里格斯·西洛斯;尤兰达帕迪拉·多明格斯;加兰·加西亚，玛丽亚·安格尔

SFOPDES：带计算机代数系统的一阶偏微分方程分步求解器。 （英语） 兹比尔1443.65002

计算。数学。申请。 78，第9号，3152-3164（2019）.
MSC公司：65-04 65日元
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Galán-García}等人，计算。数学。申请。78，第9号，3152--3164（2019；Zbl 1443.65002）
全文： 内政部
穆莱·巴卡图;托马斯·克鲁索;阿里·埃尔·哈吉

伪线性系统的简单形式和有理解。 （英语） Zbl 1467.34012号

Bradford，Russell（编辑），第44届符号和代数计算国际研讨会论文集，ISSAC’19，中国北京，2019年7月15日至18日。纽约州纽约市：计算机协会（ACM）。26-33 (2019).
MSC公司：34A30型 39A10号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Barkatou}等人，in：第44届符号与代数计算国际研讨会论文集，ISSAC’19，中国北京，2019年7月15-18日。纽约州纽约市：计算机协会（ACM）。26-33（2019年；Zbl 1467.34012）
全文： 内政部
Tiutiunnik，A.A。;迪瓦科夫。;Malykh，医学博士。;塞瓦西亚诺夫，洛杉矶。

计算简正模的四势法的符号-数字实现：矩形插入方电磁波导的示例。 （英语） 兹比尔1437.65200

英格兰，马修（编辑）等人，《科学计算中的计算机代数》。2019年8月26日至30日在俄罗斯莫斯科举行的中国社会科学院第21届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11661, 412-429 (2019).
MSC公司：65N30型 78A50型 78A30型 68瓦30 65N12号
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Tiutiunnik}等人，Lect。注释计算。科学。11661、412--429（2019年；Zbl 1437.65200）
全文： 内政部
阿列克谢·卡萨特金。;Aliya A.Gainetdinova。

用于搜索小参数常微分方程对称性并降低其阶数的符号和数值方法。 （英语） Zbl 1439.37081号

英格兰，马修（编辑）等人，《科学计算中的计算机代数》。2019年8月26日至30日，俄罗斯莫斯科，第21届国际研讨会，CASC 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11661, 280-299 (2019).
MSC公司：37米21 65升05 65页99 68瓦30 34立方英寸14
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Kasatkin}和\textit{A.Gainetdinova}，莱克特。注释计算。科学。11661280-299（2019年；Zbl 1439.37081）
全文： 内政部
哈拉尔德·霍夫斯塔特;奥辛格、温弗里德;科赫，奥思玛

一种计算指数表达式中单词系数的算法及其在指数积分器构造中的应用。 （英语） Zbl 1442.65121号

英格兰，马修（编辑）等人，《科学计算中的计算机代数》。2019年8月26日至30日在俄罗斯莫斯科举行的中国社会科学院第21届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11661, 197-214 (2019).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：65升05 65J08型 68瓦30 2015年11月37日
PDF格式BibTeX公司 XML格式引用
\textit{H.Hofstätter}等人，Lect。注释计算。科学。11661197-214（2019年；Zbl 1442.65121）
全文： 内政部 arXiv公司 链接
谢尔盖·古尼克。;瓦西里亚·萨里切夫。

对沿圆形轨道运动的两个相连物体系统动力学的符号研究。 （英语） Zbl 1470.70037号

英格兰，马修（编辑）等人，《科学计算中的计算机代数》。2019年8月26日至30日在俄罗斯莫斯科举行的中国社会科学院第21届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11661, 164-178 (2019).
MSC公司：70平方米 68瓦30 37J20型
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Gutnik}和\textit{V.A.Sarychev}，莱克特。注释计算。科学。11661164--178（2019年；Zbl 1470.70037）
全文： 内政部
阿布拉莫夫，S.A。;赖本科，A.A。;Khmelnov，D.E。

线性常微分方程和截断级数。 （英语。俄文原件） Zbl 1442.34033号

计算。数学。数学。物理学。 59，第10期，1649-1659（2019）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。59，第10期，1706-1717（2019）。
MSC公司：34A25型 34A30型
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Abramov}等人，计算。数学。数学。物理学。59，第10号，1649--1659（2019；Zbl 1442.34033）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。59，编号10，1706-1717（2019）
全文： 内政部
英格兰，马修;多里安·弗洛雷斯库

比较机器学习模型以选择圆柱代数分解的变量顺序。 （英语） 兹比尔1428.68399

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11617, 93-108 (2019).
MSC公司：68瓦30 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{M.英格兰}和\textit{D.Florescu}，莱克特。注释计算。科学。11617，93-108（2019；Zbl 1428.68399）
全文： 内政部 arXiv公司
安东·潘菲罗夫（Anton A.Panferov）。

线性微分系统中的线性卫星未知量。 （英语） 兹比尔1407.34019

Schneider，Carsten（编辑）等，《计算机代数进展》。2016年7月23日至24日，加拿大安大略省滑铁卢，2016年WWCA，纪念谢尔盖·阿布拉莫夫70岁生日。根据研讨会上的介绍选定的论文。查姆：斯普林格。Springer程序。数学。《统计》第226、215-227页（2018年）。
MSC公司：34A30型 68瓦30 34立方厘米20
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Panferov}，施普林格程序。数学。Stat.226、215--227（2018；Zbl 1407.34019）
全文： 内政部
阿尔伯特·海因勒;维克托·列万多夫斯基

第一（q）-Weyl代数中（mathbb{Z}）-齐次多项式的因式分解。 （英语） Zbl 1400.16001号

Böckle，Gebhard（编辑）等人，代数、几何和数论中的算法和实验方法。查姆：施普林格（ISBN 978-3-319-70565-1/hbk；978-3-3169-70566-8/电子书）。455-480 (2017).
MSC公司：16-04 68瓦30 2016年05月 68-04 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{A.Heinle}和\textit{V.Levandovskyy}，in：代数、几何和数论中的算法和实验方法。查姆：斯普林格。455--480（2017；Zbl 1400.16001）
全文： 内政部 arXiv公司
穆莱·巴卡图;托马斯·克鲁索;雅克·亚瑟·韦尔;露西娅·迪维齐奥

计算线性微分系统微分Galois群的李代数。 （英语） Zbl 1364.12003年

Rosenkranz，Markus（编辑），《第41届符号和代数计算国际研讨会论文集》，ISSAC 2016，加拿大滑铁卢，2016年7月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4380-0）。63-70 (2016).
MSC公司：2005年12月 17个B45 68瓦30 2015年11月34日
PDF格式BibTeX公司 XML格式引用
\textit{M.Barkatou}等人，in：第41届符号和代数计算国际研讨会论文集，ISSAC 2016，加拿大滑铁卢，2016年7月20-22日。纽约州纽约市：计算机协会（ACM）。63-70（2016；Zbl 1364.12003）
全文： 内政部
穆雷·A·巴卡图。;苏西·马达赫。

消除有理函数系数线性微分方程组的表观奇异性。 （英语） Zbl 1346.68268号

第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6日至9日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3435-8）。53-60 (2015).
MSC公司：68瓦30 34A30型
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Barkatou}和\textit{S.S.Maddah}，摘自：第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6-9日。纽约州纽约市：计算机协会（ACM）。53-60（2015年；Zbl 1346.68268）
全文： 内政部
乔里斯·范德霍温

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}，摘自：计算机数学。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：斯普林格。397--425（2014；Zbl 1352.68306）
全文： 内政部 哈尔
苏西·马达赫。;穆雷·A·巴卡图。;哈桑·阿巴斯

关于奇异摄动线性微分系统的约化。 （英语） Zbl 1325.68294号

Nabeshima，Katsusuke（编辑），第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2501-1）。320-327 (2014).
MSC公司：68瓦30 34A30型 第34页第20页
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Maddah}et al.，in：第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）。320-327（2014；Zbl 1325.68294）
全文： 内政部 arXiv公司
阿布·阿莫维奇，拉法;贝特弗里德·福泽

在高维Clifford代数中使用周期性定理进行计算。 （英语） Zbl 1298.65073号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 24，第2期，569-587（2014）.
MSC公司：65楼30 15A66型
PDF格式BibTeX公司 XML格式引用
\textit｛R.Abłamowicz｝和\textit｛B.Fauser｝，高级应用。克利夫德·阿尔盖布（Clifford Algebr）。24，第2号，569--587（2014；Zbl 1298.65073）
全文： 内政部 arXiv公司
弗朗西斯科·博塔纳;托马斯·雷西奥

使用Maple的RegularChains库自动分类平面几何轨迹。 （英语） Zbl 1437.13043号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 500-503 (2014).
MSC公司：13页第10页 13第25页 2016年第14季度 65天18分
PDF格式BibTeX公司 XML格式引用
\textit{F.Botana}和\textit{T.Recio}，Lect。注释计算。科学。8592500--503（2014年；Zbl 1437.13043）
全文： 内政部 链接
威廉·福斯特;迪特尔·霍夫曼

常微分方程。理论和实践——通过Maple进行深化和可视化。第二次修订和更新版本。（Gewöhnliche Differentialgleichungen.理论与实践–枫叶的垂直与可视化。） （德语） 兹比尔1368.34001

斯普林格·勒布赫柏林：施普林格出版社（ISBN 978-3-642-37882-9/pbk；978-3-442-37883-6/电子书）。zxviii，第389页。(2013).
MSC公司：34-00 34轴 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.Forst}和\textit{D.Hoffmann}，Gewöhnliche Differentialgleichungen。理论与实践——枫叶的垂直与可视化。第二次修订和更新版本。柏林：施普林格（2013年；Zbl 1368.34001）
全文： 内政部
医学硕士Barkatou。;克鲁索，T。;El Bacha，C。;威尔，J.-A。

计算可积联系的闭式解。 （英语） Zbl 1323.68580号

van der Hoeven，Joris（编辑）等人，《第37届符号和代数计算国际研讨会论文集》，ISSAC 2012，法国格勒诺布尔，2012年7月22日至25日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1269-1）。43-50 (2012).
MSC公司：68瓦30 35A24型 35层35 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.A.Barkatou｝et al.，载：第37届符号和代数计算国际研讨会论文集，ISSAC 2012，法国格勒诺布尔，2012年7月22-25日。纽约州纽约市：计算机协会（ACM）。43-50（2012年；Zbl 1323.68580）
全文： 内政部
戈梅斯·洛博（Gómez-Lobo）、阿方索·加西亚·帕拉多（Alfonso García-Parrado）;何塞·M·马丁·加西亚。

旋量：在广义相对论中进行旋量微积分的Mathematica包。 （英语） Zbl 1296.83004号

计算。物理学。公社。 183，第10期，2214-2225（2012）.
MSC公司：83-04 83C60个
PDF格式BibTeX公司 XML格式引用
\textit{A.G.P.Gómez-Lobo}和\textit{J.M.Martín-GarcíA}，计算。物理学。Commun公司。183，第10号，2214--2225（2012；Zbl 1296.83004）
全文： 内政部 arXiv公司
劳拉·I·梅克尔。;雅克·弗莱里奥特。

围绕用户集成系统：在谚语的调色板中组合Isabelle、Maple和QEPCAD。 （英语） Zbl 1294.68125号

Aspinall，David（编辑）等人，第九届定理证明器用户界面国际研讨会论文集（UITP10），英国爱丁堡，2010年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记285，115-119（2012）。
MSC公司：68吨15 60年第68季度 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{L.I.Meikle}和textit{J.D.Fleuriot}，电子。注释Theor。计算。科学。285115--119（2012；Zbl 1294.68125）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件