陈、田;迈克尔·莫纳根 一种新的黑盒分解算法——非monic情况。 (英语) Zbl 07760760号 Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。173-181 (2023).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}和\textit{M.Monagan},摘自:第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆瑟,2023年7月24-27日。纽约州纽约市:计算机协会(ACM)。173-181(2023年;Zbl 07760760) 全文: 内政部
阿诺·普拉诺 逻辑和表征理论。 (英语) Zbl 07740541号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,737-750 (2022).MSC公司:03A05号 03Bxx号 01A25号 01A55号 03A05号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Plagnol},in:逻辑有问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。737--750(2022;Zbl 07740541) 全文: 内政部 arXiv公司
马修·索图德;阿迪蒂亚·塔库尔。 SyReNN:用于分析深层神经网络的工具。 (英语) Zbl 1474.68304号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2021,卢森堡市,2021年3月27日至4月1日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 281-302 (2021).MSC公司:2017年10月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.Sotoudeh}和\textit{A.V.Thakur},Lect。注释计算。科学。12652、281--302(2021;Zbl 1474.68304) 全文: 内政部 arXiv公司
普拉纳夫·阿肖克;马蒂亚斯·杰克米耶;普什巴克·贾格塔普;简·Křetínsk;马克西米利安·威宁格;马吉德·扎马尼 dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300871号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Ashok}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020;Zbl 07300871) 全文: 内政部
普拉纳夫·阿肖克;马蒂亚斯·杰克米耶;普什巴克·贾格塔普;简·Křetínsk;马克西米利安·威宁格;马吉德·扎马尼 dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300858号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第17条,第7页(2020年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Ashok}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第17条,第7页(2020;Zbl 07300858) 全文: 内政部 arXiv公司
王杰;维克托·马格伦 非负电路和的二阶锥特征。 (英语) Zbl 07300104号 Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。450-457 (2020).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}和\textit{V.Magron},摘自:第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20-23日。纽约州纽约市:计算机协会(ACM)。450-457(2020;Zbl 07300104) 全文: 内政部 arXiv公司
埃里克·罗德里格斯·巴赞;伊芙琳·休伯特 理想插值、H基和对称性。 (英语) Zbl 07300098号 Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。402-409 (2020).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Bazan}和\textit{E.Hubert},摘自:第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20-23日。纽约州纽约市:计算机协会(ACM)。402-409(2020年;兹bl 07300098) 全文: 内政部 哈尔
莫莫·托苏;高桥,Kazuko 朝向形状变化和对象划分的定性推理。 (英语) Zbl 1493.68377号 Timpf,Sabine(ed.)等人,第14届空间信息理论国际会议,2019年国际空间信息技术大会,德国雷根斯堡,2019年9月9日至13日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。142,第7条,第15页(2019年)。MSC公司:68单位05 2012年第68季度 68T45型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tosue}和\textit{K.Takahashi},LIPIcs——莱布尼茨国际程序。通知。142,第7条,第15页(2019年;Zbl 1493.68377) 全文: 内政部
埃里克·罗德里格斯·巴赞;伊芙琳·休伯特 对称保持插值。 (英语) Zbl 1467.41001号 Bradford,Russell(编辑),第44届符号和代数计算国际研讨会论文集,ISSAC’19,中国北京,2019年7月15日至18日。纽约州纽约市:计算机协会(ACM)。34-41 (2019).MSC公司:41A05型 65D05型 41A29号 12-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Rodriguez Bazan}和\textit{E.Hubert},摘自:第44届符号和代数计算国际研讨会论文集,ISSAC’19,中国北京,2019年7月15日至18日。纽约州纽约市:计算机协会(ACM)。34-41(2019年;Zbl 1467.41001) 全文: 内政部 哈尔
杰雷米·多芬;马克斯·克拉默;范德托雷,利安德特 结合抽象论证语义的动态方法。 (英语) Zbl 07229664号 廖北水(编辑)等,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:施普林格。日志。亚洲:研究日志。伦敦银行同业拆借利率。,21-43(2019年)。MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Dauphin}等人,in:动力学、不确定性和推理。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:施普林格。21-43(2019年;Zbl 07229664) 全文: 内政部 链接
法杜阿·古拉比;高桥,Kazuko 关于折纸几何褶皱,定性空间知识说明了什么? (英语) Zbl 1515.68383号 Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110, 139-154 (2018).MSC公司:68瓦30 52B70型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghourabi}和\textit{K.Takahashi},Lect。注释计算。科学。11110139-154(2018年;Zbl 1515.68383) 全文: 内政部
维克托·马格伦;穆罕默德·萨弗里·埃尔丁 关于波利亚和普蒂纳的精确表述。 (英语) Zbl 1467.90032号 Carlos Arreche(编辑),《第43届符号和代数计算国际研讨会论文集》,ISSAC 2018,美国纽约州纽约市,2018年7月16-19日。纽约州纽约市:计算机协会(ACM)。279-286(2018年)。MSC公司:90立方厘米22 第14页 2015年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Magron}和\textit{M.Safey El Din},摘自:第43届符号和代数计算国际研讨会论文集,2018年7月16日至19日,美国纽约州纽约市ISSAC 2018。纽约州纽约市:计算机协会(ACM)。279--286(2018年;Zbl 1467.90032) 全文: 内政部 arXiv公司
Angelos Mantzaflaris公司;埃里克·肖斯特;伊莱亚斯·齐加里达斯 稀疏有理单变量表示。 (英语) Zbl 1458.68285号 Michael Burr(编辑),《第42届符号和代数计算国际研讨会论文集》,ISSAC 2017,德国凯泽斯劳滕,2017年7月25-28日。纽约州纽约市:计算机协会(ACM)。301-308 (2017).MSC公司:68瓦30 第13页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Mantzaflaris}等人,《第42届符号和代数计算国际研讨会论文集》,ISSAC 2017,德国凯泽斯劳滕,2017年7月25-28日。纽约州纽约市:计算机协会(ACM)。301-308(2017;Zbl 1458.68285) 全文: 内政部 哈尔
伊恩·福特 Wolfram语言中通用拓扑的语义表示。 (英语) Zbl 1367.68303号 Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。《人工智能课堂讲稿》,163-177(2017)。MSC公司:68立方英尺 54年X月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.福特},莱克特。注释计算。科学。10383、163--177(2017年;Zbl 1367.68303) 全文: 内政部
Farmer,William M。 丘奇类型理论中的理论形态与引用和评价。 (英语) Zbl 1367.68302号 Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。人工智能课堂讲稿,147-162(2017)。MSC公司:68立方英尺 03B15号机组 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},莱克特。注释计算。科学。10383、147--162(2017年;Zbl 1367.68302) 全文: 内政部 arXiv公司
卢西亚诺·塞拉菲尼;阿图尔·达维拉·加塞斯。 使用逻辑张量网络进行学习和推理。 (英语) Zbl 1430.68317号 Adorni,Giovanni(编辑)等人,AI*IA 2016:人工智能的进展。意大利人工智能协会第十六届国际会议,意大利热那亚,2016年11月29日至12月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10037, 334-348 (2016).MSC公司:68T27型 68T05型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Serafini}和\textit{A.S.d'Avila Garcez},莱克特。注释计算。科学。10037334-348(2016年;兹比尔1430.68317) 全文: 内政部
斯蒂芬·梅尔策;布鲁诺·萨维 用于分析多个变量组合的符号-数字工具。 (英语) Zbl 1360.68945号 Rosenkranz,Markus(编辑),第41届符号和代数计算国际研讨会论文集,ISSAC 2016,加拿大滑铁卢,2016年7月20-22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4380-0)。333-340 (2016).MSC公司:68瓦30 2015年1月5日 2016年1月5日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Melczer}和\textit{B.Salvy},摘自:第41届符号和代数计算国际研讨会论文集,ISSAC 2016,加拿大滑铁卢,2016年7月20-22日。纽约州纽约市:计算机协会(ACM)。333-340(2016年;兹比尔1360.68945) 全文: 内政部 arXiv公司
Anke D.波尔。 符号动力学、自守函数和具有幺正表示的Selberg-zeta函数。 (英语) Zbl 1376.37059号 Kolyada,Sergiǐ(编辑)等人,《动力学与数字》。特别节目:2014年6月1日至7月31日。国际会议:2014年7月21日至25日,德国波恩Max-Planck数学研究所。诉讼程序。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-2020-8/pbk;978-1-4740-3498-4/电子书)。《当代数学》669205-236(2016)。MSC公司:37C30个 11立方米 37B10号机组 37天35分 37D40型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Pohl},康特姆。数学。669205-236(2016;Zbl 1376.37059) 全文: 内政部 arXiv公司
汤姆·菲多尔;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 WS1S的嵌套反链。 (英语) Zbl 1420.68186号 Baier,Christel(编辑)等人,《系统构建和分析的工具和算法》。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2015,英国伦敦,2015年4月11日至18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9035, 658-674 (2015).MSC公司:68吨15 03B25号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Fiedor}等人,Lect。注释计算。科学。9035,658--674(2015;Zbl 1420.68186) 全文: 内政部
斯维特拉娜·普兹尼纳;卢卡·赞博尼。 集合的可加性与代换动力学。 (英语) Zbl 1376.37036号 Kellendonk,Johannes(编辑)等人,《非周期顺序的数学》。巴塞尔:Birkhäuser/Springer(ISBN 978-3-0348-0902-3/hbk;978-3-0.348-0903-0/ebook)。《数学进展》309,371-403(2015)。MSC公司:37B10号机组 68兰特 10年5月 11A63型 PDF格式BibTeX公司 XML格式引用 \textit{S.Puzynina}和\textit{L.Q.Zamboni},程序。数学。309、371--403(2015;Zbl 1376.37036) 全文: 内政部
埃米利斯,Ioannis Z。;克里斯托斯·科纳西斯;Zafeirakopoulos、Zafeilakis Minkowski分解和稀疏隐含中的几何谓词。 (英语) Zbl 1347.65042号 第40届符号和代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6日至9日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-3435-8)。157-164 (2015).MSC公司:65D17号 68瓦30 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Z.Emiris}等人,in:第40届符号和代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6-9日。纽约州纽约市:计算机协会(ACM)。157-164(2015年;兹bl 1347.65042) 全文: 内政部
巴伊·范奇恩;杰拉德·亨利·爱德蒙·杜尚;黄果明(Hoang Ngoc Minh,Vincel) 多齐塔的结构和shuffle和stuffle代数超越基的显式表示。 (英语) Zbl 1346.68274号 第40届符号和代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6日至9日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-3435-8)。93-100 (2015).MSC公司:68瓦30 2015年1月5日 2010年5月 PDF格式BibTeX公司 XML格式引用 \textit{V.C.Bui}等人,in:第40届符号和代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6-9日。纽约州纽约市:计算机协会(ACM)。93-100(2015年;Zbl 1346.68274) 全文: 内政部 arXiv公司
尼古拉斯·鲍里 使用表示理论的置换群的有效不变量理论。 (英语) Zbl 1401.13017号 安德烈亚斯·马莱蒂(编辑),代数信息学。2015年9月1日至4日,第六届国际会议,CAI 2015,德国斯图加特。诉讼程序。查姆:施普林格(ISBN 978-3-319-23020-7/pbk;978-3-3169-23021-4/电子书)。计算机科学讲座笔记9270,58-69(2015)。MSC公司:13A50型 2010年5月 20立方 68瓦30 94B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Borie},莱克特。注释计算。科学。9270,58-69(2015;Zbl 1401.13017) 全文: 内政部 arXiv公司
塞尔格·维尼茨基;亚历山大·古塞夫;奥赫巴德拉赫Chulounbaatar;勒海,朗;安杰伊·戈罗兹;弗拉基米尔·德尔波夫;帕维尔·克拉索维茨基 解决双原子分子通过排斥势垒的量子隧穿问题的符号数字算法。 (英语) Zbl 1353.81007号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2014年9月8日至12日在波兰华沙举行的中国社会科学院2014年第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10514-7/pbk)。《计算机科学讲义》8660、472-490(2014)。MSC公司:81-08 87年第81季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Vinitsky}等人,莱克特。注释计算。科学。8660472--490(2014;Zbl 1353.81007) 全文: 内政部
格瓦拉,道格拉斯·纳瓦罗;阿德里安·纳瓦罗·阿尔瓦雷斯 计算机辅助几何。 (英语) Zbl 1387.68260号 Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-44198-5/pbk)。计算机科学课堂讲稿8592,222-229(2014)。MSC公司:68单位05 30亿B50 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.N.格瓦拉}和\textit{A.N.阿尔瓦雷斯},莱克特。注释计算。科学。8592、222--229(2014;Zbl 1387.68260) 全文: 内政部
艾默生·G·埃斯科拉。;平冈,Yasuaki 在有限类型的可交换阶梯上计算持久性模块。 (英语) Zbl 1357.68303号 Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-44198-5/pbk)。计算机科学课堂讲稿8592144-151(2014)。MSC公司:68瓦30 16G20峰会 550单位5 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Escolal}和\textit{Y.Hiraoka},莱克特。注释计算。科学。8592,144--151(2014;Zbl 1357.68303) 全文: 内政部 arXiv公司
亚西内·布齐迪;西尔万·拉扎德;马克·普吉;法布里斯·鲁利耶 二变量系统和应用程序的理性单变量表示。 (英语) Zbl 1360.68922号 Kauers,Manuel(编辑),《第38届符号和代数计算国际研讨会论文集》,ISSAC 2013,美国马萨诸塞州波士顿,2013年6月26-29日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2059-7)。109-116 (2013).MSC公司:68瓦30 第13页第15页 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bouzidi}等人,in:第38届符号和代数计算国际研讨会论文集,ISSAC 2013,美国马萨诸塞州波士顿,2013年6月26-29日。纽约州纽约市:计算机协会(ACM)。109-116(2013年;Zbl 1360.68922) 全文: 内政部 arXiv公司 哈尔
迈克尔·科尔哈斯;费利克斯·曼斯;弗洛里安·拉贝 双形理论图的通用机器。 (英语) Zbl 1278.68267号 Carette,Jacques(编辑)等人,《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。《人工智能课堂讲稿》,82-97(2013)。MSC公司:68吨15 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}等人,Lect。注释计算。科学。7961,82-97(2013年;兹bl 1278.68267) 全文: 内政部 arXiv公司
Farmer,William M。 使用引用和评估对基于语法的数学算法进行形式化。 (英语) Zbl 1390.68778号 Carette,Jacques(编辑)等人,《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。人工智能课堂讲稿,35-50(2013)。MSC公司:68瓦30 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},莱克特。注释计算。科学。7961,35-50(2013;Zbl 1390.68778) 全文: 内政部 arXiv公司
弗拉基米尔·莫尔恰诺夫。 准赫米特对称空间上的Berezin量子化。 (英语) Zbl 1263.22009年 Kielanowski,Piotr(编辑)等人,《物理学中的几何方法》。2011年6月26日至7月2日,波兰比亚奥威阿XXX研讨会。根据研讨会上的演示选择论文。巴塞尔:Birkhä用户(ISBN 978-3-0348-0447-9/hbk;978-3-0.348-0448-6/ebook)。《数学趋势》,71-80(2013)。 审核人:Volodymyr Mazorchuk(乌普萨拉) MSC公司:22E46型 47升15 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Molchanov},in:物理学中的几何方法。2011年6月26日至7月2日,波兰比亚奥威阿XXX研讨会。根据研讨会上的演示选择论文。巴塞尔:Birkhä用户。71-80(2013年;Zbl 1263.22009年) 全文: 内政部
阿尔科斯·塞莱斯 2-闭M-表示的构造。 (英语) Zbl 1323.68626号 van der Hoeven,Joris(编辑)等人,《第37届符号和代数计算国际研讨会论文集》,ISSAC 2012,法国格勒诺布尔,2012年7月22日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1269-1)。311-318(2012年)。MSC公司:68瓦30 20立方厘米 20立方厘米 20D08年 PDF格式BibTeX公司 XML格式引用 \textit{á.Seress},摘自:第37届符号和代数计算国际研讨会论文集,ISSAC 2012,法国格勒诺布尔,2012年7月22日至25日。纽约州纽约市:计算机协会(ACM)。311--318(2012;Zbl 1323.68626) 全文: 内政部
弗拉基米尔·科门丹斯基;亚历山大·科诺瓦洛夫;史蒂夫·林顿 Coq+SSReflect与GAP接口。 (英语) Zbl 1294.68124号 Aspinall,David(编辑)等人,第九届定理证明器用户界面国际研讨会论文集(UITP10),英国爱丁堡,2010年7月15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记285,17-28(2012)。MSC公司:68吨15 68立方英尺 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{V.Komendantsky}等人,《电子》。注释Theor。计算。科学。285、17-28(2012年;Zbl 1294.68124) 全文: 内政部
丹尼尔·董贝克 无限字母表上的替换生成\(-\beta)\)-整数。 (英语) Zbl 1331.11003号 Ambroí,Petr(编辑)等人,《第八届国际会议论文集》,《2011年词汇》,捷克共和国布拉格,2011年9月12日至16日。悉尼:NICTA。《理论计算机科学电子论文集》63,115-121(2011)。MSC公司:11A63型 11路16号 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Dombek},in:《第八届国际会议论文集》,2011年词汇,捷克共和国布拉格,2011年9月12日至16日。悉尼:NICTA。115-121(2011年;Zbl 1331.11003) 全文: 内政部 arXiv公司 EMIS公司
马克斯·克拉默;彼得·科普克;伯恩哈德·施罗德 Naproche系统中符号数学的解析和消歧。 (英语) Zbl 1335.68257号 Davenport,James H.(编辑)等人,《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22672-4/pbk)。计算机科学课堂讲稿6824。《人工智能课堂讲稿》,180-195(2011)。MSC公司:68立方英尺 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Cramer}等人,Lect。注释计算。科学。6824、180--195(2011年;Zbl 1335.68257) 全文: 内政部
弗洛里安·拉贝;迈克尔·科尔哈斯;克劳迪奥·萨塞尔多蒂·科恩 关于集成问题的基本观点。 (英语) Zbl 1278.68289号 Davenport,James H.(编辑)等人,《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22672-4/pbk)。计算机科学课堂讲稿6824。人工智能课堂讲稿,107-122(2011)。MSC公司:68T27型 68吨15 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}等人,Lect。注释计算。科学。6824107-122(2011年;兹比尔1278.68289) 全文: 内政部 arXiv公司
科尔斯汀·鲍尔;克劳斯·施耐德 从同步程序到混合系统的符号表示。 (英语) Zbl 1361.68057号 2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。41-50 (2010).MSC公司:68号30 68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bauer}和\textit{K.Schneider},in:第13届ACM混合系统国际会议论文集:计算和控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。41-50(2010年;Zbl 1361.68057) 全文: 内政部
米歇尔·塞尔法蒂 符号革命,科学革命:数学和哲学方面。 (英语) Zbl 1229.01117号 Heeffer,Albrecht(编辑)等人,早期现代数学中符号推理的哲学方面。2009年8月27日至29日,比利时根特,会议论文集。伦敦:学院出版物(ISBN 978-1-84890-017-2/pbk)。《逻辑研究》26,103-122(2010)。 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:01A45号 01A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Serfati},收录于:早期现代数学中符号推理的哲学方面。2009年8月27日至29日,比利时根特,会议论文集。伦敦:学院出版物。103-122(2010;Zbl 1229.01117)
克里斯蒂安·弗劳格尼;雅克·萨卡罗维奇 数字表示和有限自动机。 (英语) Zbl 1216.68142号 Berthé,Valérie(编辑)等,组合数学,自动机和数论。剑桥:剑桥大学出版社(ISBN 978-0-521-51597-9/hbk)。数学及其应用百科全书135,34-107(2010)。MSC公司:65年第68季度 11A63型 11比85 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Frougny}和\textit{J.Sakarovitch},Encycl。数学。申请。135、34-107(2010年;Zbl 1216.68142) 全文: 内政部
Evgenija D.波波娃。;沃尔特·克雷默 将函数表达式从Mathematica传递到C-XSC。 (英语) Zbl 1294.68164号 Fukuda,Komei(编辑)等人,《数学软件——ICMS 2010》。第三届数学软件国际大会,日本神户,2010年9月13日至17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15581-9/pbk)。计算机科学课堂讲稿6327354-365(2010)。MSC公司:68瓦30 65日元 PDF格式BibTeX公司 XML格式引用 \textit{E.D.Popova}和\textit{W.Krämer},莱克特。注释计算。科学。6327354--365(2010年;Zbl 1294.68164) 全文: 内政部
佐亚·科斯托娃;尼古拉·科斯托夫;弗拉基米尔·格尔季科夫 微分结式、计算机代数和完全可积动力系统。 (英语) Zbl 1202.65167号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2010年9月6日至12日,第十二届国际研讨会,中国社会科学院2010年,亚美尼亚察赫卡佐。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15273-3/pbk)。计算机科学课堂讲稿6244148-161(2010)。MSC公司:65页99 37K20码 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kostova}等人,Lect。注释计算。科学。6244、148--161(2010年;Zbl 1202.65167) 全文: 内政部
雅克·卡梅特;约翰·坎贝尔(John A.Campbell)。 对符号数学计算和人工智能的重新审视。 (英语) Zbl 1286.68514号 Autexier,Serge(编辑)等人,《智能计算机数学》。2010年7月5日至10日,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,第九届国际会议MKM 2010,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14127-0/pbk)。计算机科学讲义6167。人工智能课堂讲稿,14-18(2010)。MSC公司:68瓦30 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}和\textit{J.A.Campbell},Lect。注释计算。科学。6167,14-18(2010;Zbl 1286.68514) 全文: 内政部
詹姆斯·H·达文波特。 多值“函数”的挑战。 (英语) Zbl 1286.68516号 Autexier,Serge(编辑)等人,《智能计算机数学》。2010年7月5日至10日,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,第九届国际会议MKM 2010,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14127-0/pbk)。计算机科学讲义6167。人工智能课堂讲稿,1-12(2010)。MSC公司:68瓦30 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport},莱克特。注释计算。科学。6167,1-12(2010;Zbl 1286.68516) 全文: 内政部 链接
A.D.里奇。;杰弗里,D.J。 基于转换规则的不确定集成知识库。 (英语) Zbl 1247.68326号 Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,第16次研讨会,微积分2009,第8次国际会议,MKM 2009,作为CICM 2009的一部分在加拿大大本德举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,480-485(2009)。MSC公司:68瓦30 26A42型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Rich}和\textit{D.J.Jeffrey},Lect。注释计算。科学。5625480-485(2009年;Zbl 1247.68326) 全文: 内政部
乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥 使用开放的数学文档连接计算机代数和证明辅助系统。 (英语) Zbl 1247.68271号 Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,作为CICM 2009的一部分,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,467-473(2009)。MSC公司:68立方英尺 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,Lect。注释计算。科学。5625467--473(2009年;Zbl 1247.68271) 全文: 内政部
亚历山大·米哈伊洛夫。;弗拉基米尔·诺维科夫。;王景平 可积系统的符号表示和分类。 (英语) Zbl 1218.37091号 MacCallum,Malcolm A.H.(编辑)等,微分方程代数理论。2006年7月和8月,在英国爱丁堡赫里奥特·沃特大学举办的学校讲座和研讨会。剑桥:剑桥大学出版社(ISBN 978-0-521-72008-3/pbk)。伦敦数学学会讲座笔记系列357156-216(2009)。MSC公司:37K10型 第35季度53 37千5 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Mikhailov}等人,伦敦。数学。Soc.Lect(社会学)。注释序列号。357156-216(2009年;Zbl 1218.37091) 全文: arXiv公司
伊娃·柯里 多维基数表示和热点定理。 (英语) Zbl 1166.11006号 Amdeberhan,Tewodros(编辑)等,《实验数学中的Tapas》。2007年1月5日,美国洛杉矶新奥尔良,AMS实验数学特别会议。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-4317-8/pbk)。当代数学457181-190(2008)。 审核人:小松高雄(Hirosaki) MSC公司:11A63型 37A45型 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Curry},康斯坦普。数学。457181-190(2008年;Zbl 1166.11006)
文森特·杜昆;约翰·摩尔 在时间上比较双重订单。二、。 (英语) Zbl 1131.68535号 Medina,Raoul(编辑)等人,《形式概念分析》。2008年2月25日至28日在加拿大蒙特利尔举行的2008年国际烟草期货交易委员会第六届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78137-0/pbk)。计算机科学课堂讲稿4933。《人工智能课堂讲稿》,321-324(2008)。MSC公司:68立方英尺 91D10号 PDF格式BibTeX公司 XML格式引用 \textit{V.Duquenne}和\textit{J.Mohr},莱克特。注释计算。科学。4933,321--324(2008;Zbl 1131.68535) 全文: 内政部
阿拉什·法尔赞;J.Ian Munro 有限交换群的简洁表示。 (英语) Zbl 1356.68277号 Jean-Guillaume Dumas(编辑),《2006年符号和代数计算国际研讨会论文集》,ISSAC 06,Genova,意大利,2006年7月9-12日。纽约州纽约市:ACM出版社(ISBN 1-59593-276-3)。87-92 (2006).MSC公司:68瓦30 2001年2月20日 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}和\textit{J.I.Munro},摘自:2006年符号和代数计算国际研讨会论文集,ISSAC 06,意大利热那瓦,2006年7月9-12日。纽约州纽约市:ACM出版社。87-92(2006年;Zbl 1356.68277) 全文: 内政部
蒂姆·霍夫曼;马库斯·施密斯 jReality、jtem和Oorange——一种用计算机做数学的方法。 (英语) Zbl 1283.68407号 Iglesias、Andrés(编辑)等人,《数学软件——ICMS 2006》。第二届数学软件国际会议,卡斯特罗·乌迪亚莱斯,西班牙,2006年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-38084-9/pbk)。计算机科学讲义415174-85(2006)。MSC公司:68瓦30 68号30 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.霍夫曼}和\textit{M.施密斯},莱克特。注释计算。科学。4151、74-85(2006年;Zbl 1283.68407) 全文: 内政部
周文琴;J·卡雷特。;杰弗里,D.J。;莫纳根,M.B。 用于大型表达式管理的带有签名的层次表示。 (英语) 兹比尔1156.68641 Calmet,Jacques(编辑)等人,《人工智能和符号计算》。第八届国际会议,2006年AISC,中国北京,2006年9月20日至22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-39728-1/pbk)。计算机科学讲义4120。人工智能课堂讲稿,254-268(2006)。MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhou}等人,Lect。注释计算。科学。4120、254--268(2006年;Zbl 1156.68641) 全文: 内政部
明山,志贵 数字系统的正有限性。 (英语) Zbl 1211.11011号 张文鹏(主编)等,《数论》。传统与现代化。2004年2月12日至16日,中国西安,第三届中日数论研讨会论文。纽约州纽约市:施普林格出版社(ISBN 978-0-387-30414-4/hbk)。发展数学。15, 1-10 (2006). 审核人:沃尔夫冈·施泰纳(巴黎) MSC公司:11A63型 2006年11月 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Akiyama},开发数学。15、1-10(2006年;Zbl 1211.11011) 全文: 内政部
特图罗·卡梅 作为动力系统的计数系统——简介。 (英语) Zbl 1122.37011号 Dee(编辑)等,《动力学与随机学》。为纪念M.S.Keane而举行的节日庆典。2005年1月3日至7日,在迈克·S·基恩(Mike S.Keane)65岁生日之际,荷兰埃因霍温(Eindhoven)举行的“动力系统、概率论和统计力学”(Dynamic systems,probability theory,and statistical mechanics)会议上,论文选自演讲稿。俄亥俄州比奇伍德:IMS,数理统计研究所(ISBN 0-940600-64-1/pbk)。数理统计研究所讲义-专题系列48,198-211(2006)。 审核人:托马斯·沃德(诺维奇) MSC公司:37B10号机组 11A63型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kamae},IMS Lect公司。注释,单声道。序列号。48、198--211(2006;Zbl 1122.37011) 全文: 内政部 arXiv公司
那么,克莱尔·M。;斯蒂芬·瓦特(Stephen M.Watt)。 确定数学表达式使用的经验特征。 (英语) Zbl 1151.68675号 Michael Kohlhase(编辑),《数学知识管理》。第四届国际会议,MKM 2005,德国不来梅,2005年7月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-31430-X/pbk)。计算机科学课堂讲稿3863。人工智能课堂讲稿,361-375(2006)。MSC公司:68立方英尺 68单位15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.M.So}和\textit{S.M.Watt},莱克特。注释计算。科学。3863361--375(2006年;Zbl 1151.68675) 全文: 内政部
克里斯托夫·施瓦茨韦勒 Gröbner bases–Mizar系统中的理论完善。 (英语) Zbl 1151.68673号 Michael Kohlhase(编辑),《数学知识管理》。第四届国际会议,MKM 2005,德国不来梅,2005年7月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-31430-X/pbk)。计算机科学课堂讲稿3863。人工智能课堂讲稿,299-314(2006)。MSC公司:68立方英尺 68吨15 68瓦30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},莱克特。注释计算。科学。3863929-314(2006年;兹比尔1151.68673) 全文: 内政部
艾达、铁雄;Hidekazu高桥;马林·米尔恰 莫利三角形的计算折纸。 (英语) Zbl 1151.68632号 Michael Kohlhase(编辑),《数学知识管理》。第四届国际会议,MKM 2005,德国不来梅,2005年7月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-31430-X/pbk)。计算机科学课堂讲稿3863。人工智能课堂讲稿,267-282(2006)。MSC公司:68吨15 03B35型 68立方英尺 68单位05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Ida}等人,Lect。注释计算。科学。3863、267--282(2006年;Zbl 1151.68632) 全文: 内政部
艾伦·塞克斯顿;沃尔克·索尔格 正在处理文本样式矩阵。 (英语) Zbl 1151.68674号 Michael Kohlhase(编辑),《数学知识管理》。第四届国际会议,MKM 2005,德国不来梅,2005年7月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-31430-X/pbk)。计算机科学课堂讲稿3863。人工智能课堂讲稿,111-125(2006)。MSC公司:68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Sexton}和\textit{V.Sorge},Lect。注释计算。科学。3863、111-125(2006年;Zbl 1151.68674) 全文: 内政部
瓦莱里·伯瑟;塞巴斯蒂安·费伦齐;卢卡·赞博尼。 动力学、算术和组合学之间的相互作用:好的、坏的和丑陋的。 (英语) Zbl 1156.37301号 Kolyada,S.(编辑)等人,代数和拓扑动力学。会议记录,德国波恩,2004年5月1日至7月31日。罗得岛普罗维登斯:美国数学学会(AMS)(ISBN 0-8218-3751-6/pbk)。康斯坦普。数学。385, 333-364 (2005). 审核人:托马斯·沃德(诺维奇)(MR2180244) MSC公司:37B10号机组 37E05型 11A63型 11J70型 37A45型 68兰特 05年05月05日 PDF格式BibTeX公司 XML格式引用 \textit{V.Berthé}等人,康特姆。数学。385333-364(2005;Zbl 1156.37301)
拉维尼亚·埃吉迪;保罗·特伦齐亚尼 用户定义的符号周期的正交运算符。 (英语) Zbl 1187.68580号 Bussler,Christoph(编辑)等人,《人工智能:方法、系统和应用》。2004年9月2-4日在保加利亚瓦尔纳举行的2004年AIMSA第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22959-0/pbk)。计算机科学讲义3192。人工智能课堂讲稿,137-147(2004)。MSC公司:68立方英尺 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Egidi}和\textit{P.Terenziani},莱克特。注释计算。科学。3192、137--147(2004年;Zbl 1187.68580) 全文: 内政部
安德鲁·邦达伦科 由关系\(XX^*=f(X^*X)\)生成的\(\ast\)-代数的反Fock表示集的描述。 (英语) Zbl 1096.37004号 Nikitin,A.G.(ed.)等人,第五届非线性数学物理对称性国际会议论文集,乌克兰基辅,2003年6月23日至29日。第3部分。基辅:乌克兰NAS数学研究所(ISBN 966-02-3227-6)。乌克兰国家科学院数学研究所学报。数学及其应用。50(3), 1053-1060 (2004). 审核人:S.V.Spichak(基辅) MSC公司:37B10号机组 37A55型 37E05型 16S99型 47升10 PDF格式BibTeX公司 XML格式引用 \textit{A.Bondarenko},in:第五届非线性数学物理对称性国际会议论文集,乌克兰基辅,2003年6月23-29日。第3部分。基辅:乌克兰NAS数学研究所。1053至1060(2004年;兹bl 1096.37004)
卡隆·桑德兰;杰里米·布莱恩斯;莱昂内尔·莫雷尔 在符号设置中逻辑地表示迭代属性。 (英语) Zbl 1108.68412号 Rattray,Charles(编辑)等人,代数方法论和软件技术。第十届国际会议,AMAST 2004,英国苏格兰斯特灵,2004年7月12-16日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22381-9/pbk)。计算机科学讲义3116,460-474(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Shankland}等人,Lect。注释计算。科学。3116、460——474(2004年;Zbl 1108.68412) 全文: 内政部
A.Ayhan Kanmaz;去甲肾上腺素 广义高维模型表示的符号计算机编程。 (英语) Zbl 1234.68471号 Osipenko,G.S.(编辑),《数学建模工具》。第四届国际会议记录,俄罗斯圣彼得堡,2003年6月23日至28日。圣彼得堡:圣彼得堡州立理工大学(ISBN 5-7422-0511-2/pbk)。数学。《圣彼得堡研究》9,281-289(2003)。MSC公司:68瓦30 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Kanmaz}和\textit{M.Demiralp},数学。圣彼得堡Res.9,281--289(2003;Zbl 1234.68471)
冈瑟·施密特 关系数据分析中的理论提取。 (英语) Zbl 1203.68195号 de Swart,Harrie(编辑)等,关系结构作为知识工具的理论和应用。成本行动274,塔尔斯基。修订论文。柏林:施普林格出版社(ISBN 3-540-20780-5/pbk)。莱克特。注释计算。科学。2929, 68-86 (2003).MSC公司:68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt},莱克特。注释计算。科学。2929,68--86(2003年;Zbl 1203.68195) 全文: 内政部
弗里克·威迪杰克 比较数学证明。 (英语) 兹比尔1022.68623 Asperti,Andrea(编辑)等人,《数学知识管理》。第二届国际会议,2003年MKM,意大利贝蒂诺罗,2003年2月16日至18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2594, 188-202 (2003).MSC公司:68立方英尺 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiedijk},莱克特。注释计算。科学。2594188--202(2003年;Zbl 1022.68623) 全文: 链接
詹姆斯·H·达文波特。 从书本到计算机的MKM:一个案例研究。 (英语) Zbl 1022.68118号 Asperti,Andrea(编辑)等人,《数学知识管理》。第二届国际会议,2003年MKM,意大利贝蒂诺罗,2003年2月16日至18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2594, 17-29 (2003).MSC公司:68立方英尺 68瓦30 33B99号 00A22号 第33页第10页 65A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport},莱克特。注释计算。科学。2594、17--29(2003年;Zbl 1022.68118) 全文: 链接
大卫·阿维斯;福田、科美;斯特凡诺·皮科齐 关于凸多面体的标准表示。 (英语) Zbl 1012.68207号 Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。350-360 (2002).MSC公司:68单位05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Avis}等人,in:数学软件。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。350-360(2002年;Zbl 1012.68207)
迈克尔·科尔哈斯 OMDOC:为数学知识的管理、分发和教学制定互联网标准。 (英语) Zbl 1042.00511号 Campbell,John A.(编辑)等人,《人工智能与符号计算》。2000年7月17日至19日在西班牙马德里举行的AISC 2000国际会议。修订论文。柏林:施普林格出版社(ISBN 3-540-42071-1)。莱克特。注释计算。科学。1930, 32-52 (2001).MSC公司:00A99号 68立方英尺 68瓦30 97U70型 97 u40 PDF格式BibTeX公司 XML格式引用 \文本{M.Kohlhase},Lect。注释计算。科学。1930年,32-52(2001年;Zbl 1042.00511) 全文: 链接
哈丁,T。 Foc中的数学知识管理。 (英语) Zbl 0982.68134号 Buchberger,Bruno(编辑)等人,《数学知识管理:MKM 2001》。第一届国际研讨会电子会议记录,RISC,SchloßHagenberg,奥地利,2001年9月24-26日。林茨:林茨大学,第6页(2001年)。MSC公司:68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Hardin},in:数学知识管理:MKM 2001。第一届国际研讨会电子会议记录,RISC,SchloßHagenberg,奥地利,2001年9月24日至26日。林茨:林茨大学。第6页(2001年;Zbl 0982.68134) 全文: 链接
路易·B·拉尔。;代表,Thomas W。 算法差异。 (英语) Zbl 0990.65031号 Kulisch,Ulrich(编辑)等人,《封闭方法的观点》。2000年9月19日至22日,德国卡尔斯鲁厄大学GAMM-IMACS科学计算、计算机算法和验证数值国际研讨会,SCAN 2000。维恩:施普林格。133-147 (2001).MSC公司:65天25分 65G30型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Rall}和\textit{T.W.Reps},in:关于封闭方法的观点。2000年9月19日至22日,德国卡尔斯鲁厄大学GAMM-IMACS科学计算、计算机算法和验证数值国际研讨会,SCAN 2000。维恩:施普林格。133-147(2001年;Zbl 0990.65031)
霍华德·程;尤金·齐马 关于计算有理数乘积和的加速方法。 (英语) Zbl 1326.68346号 2000年符号和代数计算国际研讨会论文集,ISSAC’00,苏格兰圣安德鲁斯,GB,2000。纽约州纽约:美国计算机学会出版社(ISBN 1-58113-218-2)。54-61 (2000).MSC公司:68瓦30 2016年11月 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Cheng}和\textit{E.Zima},摘自:2000年符号和代数计算国际研讨会论文集,ISSAC'00,苏格兰圣安德鲁斯,GB,2000。纽约州纽约市:ACM出版社。54-61(2000年;Zbl 1326.68346) 全文: 内政部
托马斯·斯特姆 用于偏移和混合实体的代数方法。 (英语) Zbl 0976.68167号 Ganzha,Viktor G.(编辑)等人,《科学计算中的计算机代数》。CASC 2000。第三次研讨会会议记录,2000年10月5日至9日,乌兹别克斯坦撒马尔罕。柏林:斯普林格。367-381(2000年)。MSC公司:68单位07 68单位05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Sturm},in:科学计算中的计算机代数。CASC 2000。第三次研讨会会议记录,2000年10月5-9日,乌兹别克斯坦撒马尔罕。柏林:斯普林格。367--381(2000;Zbl 0976.68167)
天野和夫 卡尔德龙边界反问题的有限差分模型。 (英语) Zbl 0966.35136号 Nakamura,G.(编辑)等人,《反问题和相关主题》。1998年2月6日至10日,日本神户市神户研究所研讨会论文集。佛罗里达州博卡拉顿:查普曼和霍尔/CRC。查普曼霍尔/CRC研究笔记数学。419, 1-18 (2000).MSC公司:35兰特 35J25型 65-04年 65号06 PDF格式BibTeX公司 XML格式引用 \textit{K.Amano},查普曼霍尔/CRC Res.Notes数学。419,1-18(2000;Zbl 0966.35136)
劳雷亚诺·冈萨雷斯-维加;法布里斯·鲁利耶;玛丽·弗朗索瓦斯·罗伊;瓜达卢佩特鲁希略 真正解决方案的象征性配方。 (英语) 兹比尔0994.12003 Cohen,Arjeh M.(编辑)等,《计算机代数的一些塔帕》。柏林:斯普林格。算法计算。数学。4, 121-167 (1999). 审核人:胡安·萨比亚(布宜诺斯艾利斯) MSC公司:2005年12月 99时65分 1999年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Gonzalez-Vega}等人,《算法计算》。数学。4、121--167(1999;Zbl 0994.12003)
迪迪埃·杜布瓦;亨利·普拉德 导言:修改、更新和整合知识。 (英语) Zbl 0939.68111号 Dubois,Didier(编辑)等人,《不可行推理和不确定性管理系统手册》。第三卷:信念改变。多德雷赫特:Kluwer学术出版社。1-15(1998年)。 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:68T27型 68立方英尺 第68页,共15页 03B65号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubois}和\textit{H.Prade},in:可废止推理和不确定性管理系统手册。第三卷:信念改变。多德雷赫特:Kluwer学术出版社。1-15(1998年;Zbl 0939.68111)
Nörenberg,R。 覆盖单项式代数。 (英语) Zbl 0957.16034号 奥利弗·格洛尔(编辑),《1998年符号和代数计算国际研讨会论文集》,ISSAC’98,德国罗斯托克,1998年8月13日至15日。纽约州纽约市:ACM出版社。161-164 (1998).MSC公司:2016年05月 16G60型 16G30型 16页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Nörenberg},in:1998年符号和代数计算国际研讨会论文集,ISSAC’98,德国罗斯托克,1998年8月13-15日。纽约州纽约市:ACM出版社。161-164(1998年;Zbl 0957.16034)
迈克尔·泽尔曼 在并行环境中构造矩阵群的置换表示。 (英语) Zbl 0892.20003号 Finkelstein,Larry(编辑)等人,《群与计算II》。小组与计算研讨会,1995年6月7日至10日,美国新泽西州新不伦瑞克。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。第28371-382页(1997年)。 审核人:K.H.Zimmermann(汉堡) MSC公司:20B40码 68瓦30 20G05年 20G40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tselman},DIMACS,序列号。离散数学。西奥。计算。科学。28、371--382(1997;Zbl 0892.20003)
比尔,罗伯特 矩阵群的多项式时间算法。 (英语) Zbl 0878.20009号 Finkelstein,Larry(编辑)等人,《群与计算II》。小组与计算研讨会,1995年6月7日至10日,美国新泽西州新不伦瑞克。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。28, 31-54 (1997). 审核人:K.H.Zimmermann(汉堡) MSC公司:20立方厘米 68瓦30 20F05型 20年30月 20G05年 20E07年 PDF格式BibTeX公司 XML格式引用 \textit{R.Beals},DIMACS,序列号。离散数学。西奥。计算。科学。28、31——54(1997年;Zbl 0878.20009)
戴夫·福尼;布莱恩·马库斯;新界信杜沙亚纳。;米切尔·特洛特 多语言词典:系统理论、编码理论、符号动力学和自动机理论。 (英语) Zbl 0845.58024号 卡尔德班克,罗伯特(编辑),编码理论的不同方面。美国数学学会短期课程,1995年1月2日至3日,美国加利福尼亚州旧金山。会议记录。普罗维登斯,RI:美国数学学会。程序。交响乐团。申请。数学。50, 109-138 (1995). 审核人:K.Tchoán(Wrocław) MSC公司:93A30型 37B10号机组 93B15号机组 94B99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Forney}等人,Proc。交响乐团。申请。数学。50、109--138(1995年;Zbl 0845.58024)
布莱恩·马库斯 符号动力学与编码理论、自动机理论和系统理论的联系。 (英语) Zbl 0845.58025号 卡尔德班克,罗伯特(编辑),编码理论的不同方面。美国数学学会短期课程,1995年1月2-3日,美国加利福尼亚州旧金山。普罗维登斯,RI:美国数学学会。程序。交响乐团。申请。数学。50, 95-108 (1995). 审核人:K.Tchoán(Wrocław) MSC公司:37E99型 93B15号机组 94A40型 94B12号机组 PDF格式BibTeX公司 XML格式引用 \文本{B.Marcus},Proc。交响乐团。申请。数学。50、95——108(1995年;Zbl 0845.58025)
S.A.林顿。 Todd-Coxeter算法概述。 (英语) Zbl 0836.08003号 Bosma,Wieb(编辑)等人,计算代数和数论。基于1992年11月在澳大利亚悉尼悉尼大学举行的计算代数和数论会议。多德雷赫特:Kluwer学术出版社。数学。申请。,多德。325, 29-51 (1995). 审核人:J.Neubüser(亚琛) MSC公司:08A50号 2005年5月20日 20平方米 20立方米 68瓦30 2004年8月 20-04 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Linton},数学。申请。,多德。325、29-51(1995年;Zbl 0836.08003)
埃德温·迪迪 从数据到知识:符号数据分析的概率对象。 (英语) Zbl 0822.68021号 Cox,Ingemar J.(编辑)等人,《分区数据集》。1993年4月19日至21日,美国新泽西州新不伦瑞克罗格斯大学DIMACS研讨会上的论文。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。19, 65-88 (1995).MSC公司:68第05页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.Diday},DIMACS,序列号。离散数学。西奥。计算。科学。19、65-88(1995年;Zbl 0822.68021)
安吉尔·迪亚斯;埃里希·卡尔托芬 关于用黑箱给出的多项式计算最大公约数的计算。 (英语) 2007年9月19日Zbl Levet,A.H.M.(编辑),1995年符号和代数计算国际研讨会论文集,1995年7月10日至12日,加拿大蒙特利尔,ISSAC’95。纽约州纽约市:ACM出版社。232-239(1995年)。MSC公司:2005年12月 68瓦30 2005年12月 11二氧化碳 2016年11月 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz}和\textit{E.Kaltofen},摘自:1995年符号和代数计算国际研讨会论文集,1995年7月10-12日,加拿大蒙特利尔,ISSAC’95。纽约州纽约市:ACM出版社。232-239(1995年;Zbl 0919.2007年)
玛丽亚·格拉齐亚·马里纳里;泰奥州莫拉;汉斯·迈克尔·莫勒 多项式系统求解中的Gröbner对偶性和多重性。 (英语) Zbl 0919.12005号 Levet,A.H.M.(编辑),1995年符号和代数计算国际研讨会论文集,1995年7月10日至12日,加拿大蒙特利尔,ISSAC’95。纽约州纽约市:ACM出版社。167-179 (1995).MSC公司:2005年12月 13页第10页 68瓦30 12E12号机组 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Marinari}等人,《1995年符号和代数计算国际研讨会论文集》,1995年7月10日至12日,加拿大蒙特利尔,ISSAC’95。纽约州纽约市:ACM出版社。167-179(1995年;Zbl 0919.12005年)
J.卡梅特。;印度,Tjandra。 计算机代数的人工智能环境。 (英语) Zbl 0808.68067号 杰弗里·约翰逊(编辑)等人,《数学中的人工智能》。基于1991年4月由英国格拉斯哥斯特拉斯克莱德大学数学及其应用研究所和图灵研究所主办的会议记录。牛津:克拉伦登出版社。Inst.数学。申请。Conf.序列号。,新序列号。51, 173-182 (1994).MSC公司:68瓦30 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}和\textit{I.A.Tjandra},Inst.Math。申请。Conf.序列号。,新序列号。51、173--182(1994年;Zbl 0808.68067)
González-Lopez,M.J。;T·雷西奥。 实正交矩阵多项式结果的形式化判定。 (英语) Zbl 0819.13012号 Jacob,William B.(编辑)等人,实代数几何和二次型的最新进展。《RAGSQUAD年会刊》,加州伯克利,美国,1990-1991年。普罗维登斯,RI:美国数学学会。康斯坦普。数学。155, 141-165 (1994). 审核人:科瓦切克(科英布拉) MSC公司:13页第10页 14第05页 20G05年 68瓦30 14层35 13A50型 14第25页 70B10型 93立方35 PDF格式BibTeX公司 XML格式引用 \textit{M.J.González-Lopez}和\textit{T.Recio},康特姆。数学。155、141--165(1994;Zbl 0819.13012)
布莱恩特·约克。 置换群计算的并行体系结构的含义。 (英语) 兹比尔0823.20003 Finkelstein,Larry(编辑)等人,《群与计算》。1991年10月7日至10日,美国新泽西州新不伦瑞克罗格斯大学DIMACS研讨会论文。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。11, 293-313 (1993).MSC公司:20B40码 68瓦30 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{B.W.York},DIMACS,序列号。离散数学。西奥。计算。科学。11、293--313(1993;Zbl 0823.20003)
伊恩·罗宾逊。 支持动态知识库的关联访问和处理。 (英语) Zbl 0744.68045号 人工智能,IJCAI-91,Proc。第十二届国际会议,悉尼/澳大利亚,1991,48-53(1991)。 审核人:N.Curteanu(伊阿什) MSC公司:2005年第68季度 68立方英尺 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.N.Robinson},收录于:IJCAI 91,第十二届国际人工智能会议论文集。1991年8月24日至30日,澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥:Morgan Kaufmann Publ。。48-53(1991年;Zbl 0744.68045)
C·W·克伦肖。;F.W.J.奥尔弗。;特纳,P.R。 水平指数算法:介绍综述。 (英语) Zbl 0674.68001号 数值分析与并行处理。第三届兰开斯特夏季学校。1987年,勒克特。数学笔记。1397, 95-168 (1989). 审核人:T.C.莫汉 MSC公司:68-01 68瓦30 PDF格式BibTeX公司 XML格式
格拉内维奇,E.A。 复杂模运算算法的开发。 (俄语) Zbl 0692.10011号 导航系统的稳定性和控制问题,收集。科学。作品,11-20(1988)。MSC公司:11A63型 68瓦30 PDF格式BibTeX公司 XML格式
G.尼科利斯。 非线性动力学、自组织和复杂性的符号表示。 (英语) Zbl 0663.92001号 从化学组织到生物组织,斯普林格爵士。《协同学》,27-33(1988)。MSC公司:92B05型 92C05型 37D45号 PDF格式BibTeX公司 XML格式
沃尔夫·科恩 状态空间模型的符号/数字生成器。 (英语) Zbl 0651.93024号 专家系统中的耦合符号和数值计算II,Pap。第二次研讨会,贝尔维尤/华盛顿,1987年,47-55(1988年)。MSC公司:93B40码 68瓦30 93立方35 70G10型 PDF格式BibTeX公司 XML格式
弗雷迪·布拉克斯;丹尼斯·康塔莱斯;理查德·德朗赫;赫尔曼·塞拉斯 带有REDUCE的Clifford代数。 (英语) Zbl 0662.68031号 几何与物理学,Proc。冬季附表。,Srnê/捷克语。1987年补遗。循环。巴勒莫,二。序列号。16, 11-19 (1987). 审核人:C.布鲁马 MSC公司:68瓦30 15A66型 PDF格式BibTeX公司 XML格式 全文: 欧洲DML
朱利安·帕吉特;约翰·惠誉 LIER的基本原理;经过考虑的LISP。 (英语) 兹伯利0641.68049 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 41-53 (1985).MSC公司:68瓦30 68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式
罗伯特·B·塞登斯蒂克。 用于高速高精度计算机算术的连分数。 (英语) Zbl 0548.68034号 计算机算术。第六交响曲。,奥胡斯/丹麦。1983, 184-193 (1983). 审核人:M.弗鲁姆金 MSC公司:68瓦30 第11页55 11A63型 PDF格式BibTeX公司 XML格式
迪利普·巴内尔吉。;考希克,萨罗 残渣系统中分数的表示和处理。 (英语) Zbl 0538.68033号 计算机算术。第六交响曲。,奥胡斯/丹麦。1983, 29-36 (1983).MSC公司:68瓦30 第11页99 PDF格式BibTeX公司 XML格式
马克·列维 周期性的强迫弛豫振荡。 (英语) Zbl 0483.34023号 动力学非线性问题的新方法,Proc。Conf.,Pacific Grove/Calif.1979年;323-338 (1980).MSC公司:34立方厘米 PDF格式BibTeX公司 XML格式