×

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

最新的 引文 关联
曹勤祥;圣地亚哥库埃拉;安德鲁·W·阿佩尔。

为分离逻辑丛林带来秩序。 （英语） Zbl 1503.03034号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 190-211 (2017).
MSC公司：03B70号 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{Q.Cao}等人，Lect。注释计算。科学。10695、190--211（2017；Zbl 1503.03034）
全文： 内政部
久间隆一（Toshiaki Hishinuma）;长谷川秀彦;田中、太郎

SIMD并行稀疏矩阵向量和转置矩阵向量乘法的DD精度。 （英语） Zbl 07486619号

Dutra，Inás（编辑）等人，《计算科学的高性能计算——VECPAR 2016》。第十二届国际会议，2016年6月28日至30日，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10150，21-34（2017）。
MSC公司：65年xx月 65传真
PDF格式BibTeX公司 XML格式引用
\textit{T.Hishinuma}等人，Lect。注释计算。科学。10150，21-34（2017；Zbl 07486619）
全文： 内政部
阿古洛，E。;Cools，S公司。;吉拉德，L。;A.莫罗。;萨拉斯，P。;W.Vanroose。;E.F.耶特金。;M·佐农。

硬错误和软错误：线性代数求解器中可能的数值补救方法。 （英语） Zbl 07486618号

Dutra，Inás（编辑）等人，《计算科学的高性能计算——VECPAR 2016》。第十二届国际会议，2016年6月28日至30日，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10150, 11-18 (2017).
MSC公司：65年xx月 65传真
PDF格式BibTeX公司 XML格式引用
\textit{E.Agullo}等人，Lect。注释计算。科学。10150，11--18（2017；Zbl 07486618）
全文： 内政部
马丁·巴纳比

2017年量化约束。 （英语） Zbl 1482.68168号

Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，327-346（2017）。
MSC公司：2007年4月68日 08A70号 65年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Martin}，Dagstuhl跟进7，327--346（2017；Zbl 1482.68168）
全文： 内政部
Larose，Benoit公司

代数与有向图CSP的复杂性：综述。 （英语） Zbl 1482.68166号

Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，267-285（2017）。
MSC公司：2007年4月68日 05C20号 08A70号 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{B.Larose}，Dagstuhl Follow-Ups 7，267--285（2017；Zbl 1482.68166）
全文： 内政部
塞尔盖·加斯佩斯;塞巴斯蒂安·奥德尼亚克;斯泽德，斯特凡

CSP后门套件。 （英语） Zbl 1482.68163号

Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，137-157（2017）。
MSC公司：2007年4月68日 08A70号 65年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Gaspers}等人，Dagstuhl Follow-Ups 7，137--157（2017；Zbl 1482.68163）
全文： 内政部
曼纽尔·博迪尔斯基;马塞洛·马米诺

数值域上的约束满足问题。 （英语） Zbl 1482.68162号

Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 779-111（2017）。
MSC公司：2007年4月68日 08A70号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}和\textit{M.Mamino}，Dagstuhl后续行动7，79--111（2017；Zbl 1482.68162）
全文： 内政部
利波·巴托;马钦·科齐克

对泛代数和CSP的吸收。 （英语） Zbl 1482.68160号

Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，45-77（2017）。
MSC公司：2007年4月68日 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Barto}和\textit{M.Kozik}，Dagstuhl Follow-Ups 7，45--77（2017；Zbl 1482.68160）
全文： 内政部
利波·巴托;安德烈·克罗金;罗斯·威拉德

多态性，以及如何使用它们。 （英语） Zbl 1482.68161号

Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，1-44（2017）。
MSC公司：2007年4月68日 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Barto}等人，Dagstuhl Follow-Ups 7，1--44（2017；Zbl 1482.68161）
全文： 内政部
利波·巴托;迈克尔·孔帕彻;米罗斯拉夫·奥尔沙克;Trung Van Pham公司;迈克尔·平斯克

无限域约束满足问题两个二分法猜想的等价性。 （英语） Zbl 1452.08001号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第68条，第12页（2017年）。
MSC公司：08A40号 08A70号 03C35号 20B27型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Barto｝等人，在：2017年第32届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，雷克雅未克，冰岛，2017年6月20日至23日。新泽西州皮斯卡塔韦：IEEE出版社。第68条，第12页（2017；Zbl 1452.08001）
全文： 链接
拉杜·马代尔;帕南加登，普拉卡什;普罗特金，戈登

关于数量代数的公理化。 （英语） Zbl 1452.08005号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第42条，第12页（2017年）。
MSC公司：08B05号 08C15号 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第42条，第12页（2017；Zbl 1452.08005）
全文： arXiv公司 链接
于布林科夫。答：。;格特，V.P。;马林诺夫，K.B。

拟线性发展方程的计算机代数离散化。 （英语。俄文原件） Zbl 1458.35367号

程序。计算。柔和。 43，第2号，84-89（2017）; 译自Programmirovanie 43，No.2，28-34（2017）。
MSC公司：第35季度53 35A35型 68瓦30 35B35型 2006年6月65日 6500万08
PDF格式BibTeX公司 XML格式引用
\textit{Yu.A.Blinkov}等人，《程序》。计算。柔和。43，第2号，84-89（2017；Zbl 1458.35367）；译自Programmirovanie 43，No.2，28-34（2017）
全文： 内政部
勒斯特姆·塔哈诺夫

具有清晰且有价值的保守模板的混合VCSP。 （英语） Zbl 1457.68130号

Okamoto，Yoshio（编辑）等人，第28届算法和计算国际研讨会，2017年国际会计准则委员会，2017年12月9日至12日，泰国普吉岛。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。92，第65条，第13页（2017年）。
MSC公司：65年第68季度 08A02号 08A70号 2007年4月68日
PDF格式BibTeX公司 XML格式引用
\textit{R.Takhanov}，LIPIcs——莱布尼茨国际程序。通知。92，第65条，第13页（2017年；Zbl 1457.68130）
全文： 内政部
菲克尔，克劳斯;威廉·哈特;汤米·霍夫曼;弗雷德里克·约翰逊

尼莫/赫克。Julia编程语言的计算机代数和数论包。 （英语） Zbl 1457.68325号

Michael Burr（编辑），《第42届符号和代数计算国际研讨会论文集》，ISSAC 2017，德国凯泽斯劳滕，2017年7月25-28日。纽约州纽约市：计算机协会（ACM）。157-164 (2017).
MSC公司：68瓦30 11-04
PDF格式BibTeX公司 XML格式引用
\textit{C.Fieker}等人，in：第42届符号和代数计算国际研讨会论文集，ISSAC 2017，德国凯泽斯劳滕，2017年7月25日至28日。纽约州纽约市：计算机协会（ACM）。157-164（2017；Zbl 1457.68325）
全文： 内政部 arXiv公司
克里斯蒂安·埃德尔;格哈德·普菲斯特;阿德里安·波佩斯库

欧几里德环上基于签名的Gröbner基。 （英语） Zbl 1458.13032号

Michael Burr（编辑），《第42届符号和代数计算国际研讨会论文集》，ISSAC 2017，德国凯泽斯劳滕，2017年7月25-28日。纽约州纽约市：计算机协会（ACM）。141-148 (2017).
MSC公司：第13页第10页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Eder}等人，in：第42届符号和代数计算国际研讨会论文集，ISSAC 2017，德国凯泽斯劳滕，2017年7月25日至28日。纽约州纽约市：计算机协会（ACM）。141-148（2017；Zbl 1458.13032）
全文： 内政部
马丁·舒斯特。;马西耶·李希基维奇

谱图二分法的新能力和局限性。 （英语） Zbl 1442.68184号

Pruhs，Kirk（编辑）等人，第25届欧洲算法研讨会，2017年ESA，奥地利维也纳，2017年9月4-6日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。87，第66条，第15页（2017年）。
MSC公司：68兰特 05元50分 05C70号 68瓦40 90C25型
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Schuster}和\textit{M.Li si kiewicz}，LIPIcs——莱布尼茨国际程序。通知。87，第66条，第15页（2017；兹bl 1442.68184）
全文： 内政部 arXiv公司
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃

凸代数的幂。 （英语） Zbl 1442.68085号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第23条，第18页（2017年）。
MSC公司：65年第68季度 68问题55 70年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。85，第23条，第18页（2017年；Zbl 1442.68085）
全文： 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;约兰达奥尔特加购物中心

标称过程计算的规则格式。 （英语） Zbl 1442.68120号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第10条，第16页（2017年）。
MSC公司：68问题85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。85，第10条，第16页（2017年；Zbl 1442.68120）
全文： 内政部
安德烈亚斯·比约克隆德;佩特里·卡斯基;Ioannis Koutis

通过广义拉普拉斯算子的定向哈密顿性和分支。 （英语） Zbl 1442.68163号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第91条，第14页（2017年）。
MSC公司：68兰特 05C45号 05元50分 05C69号 05C85号 65年第68季度 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{A.Björklund}等人，LIPIcs——莱布尼茨国际程序。通知。80，第91条，第14页（2017年；兹bl 1442.68163）
全文： 内政部 arXiv公司
安里克·科斯梅·洛佩斯;Damien Pous

\作为自由代数的（K_4）-自由图。 （英语） Zbl 1445.05099号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第76条，第14页（2017年）。
MSC公司：05C83号 05C75号 08B20号 08A99年 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.Cosme-Llópez}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。83，第76条，第14页（2017年；Zbl 1445.05099）
全文： 内政部
尼尔·加尼;康纳·麦克布莱德;弗雷德里克·诺德瓦尔·福斯伯格;斯蒂芬·斯潘

归纳递归定义的变化。 （英语） Zbl 1445.03010号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第63条，第13页（2017年）。
MSC公司：03立方厘米38 03B70号 18立方厘米 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.Ghani}等人，LIPIcs——莱布尼茨国际程序。通知。83，第63条，第13页（2017年；Zbl 1445.03010）
全文： 内政部
萨姆森·艾布拉姆斯基;巴博萨、鲁伊·索亚雷斯;纳迪什·德·席尔瓦;奥克塔维奥萨帕塔

关系结构上的量子单子。 （英语） Zbl 1441.68055号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第35条，第19页（2017年）。
MSC公司：2012年第68季度 08A70号 18个C20 81页68 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}等人，LIPIcs——莱布尼茨国际程序。通知。83，第35条，第19页（2017年；Zbl 1441.68055）
全文： 内政部 arXiv公司
卡塔里娜·卡瓦略;马丁·巴纳比;德米特里·朱克

使用代数公式量化约束的复杂性。 （英语） Zbl 1441.68087号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第27条，第14页（2017年）。
MSC公司：65年第68季度 08A70号 2007年4月68日
PDF格式BibTeX公司 XML格式引用
\textit{C.Carvalho}等人，LIPIcs——莱布尼茨国际程序。通知。83，第27条，第14页（2017年；Zbl 1441.68087）
全文： 内政部 arXiv公司
彼得·琼森;维克托·拉盖克维斯特;罗伊，比曼

泛代数约束满足的时间复杂性。 （英语） Zbl 1441.68093号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第17条，第15页（2017年）。
MSC公司：65年第68季度 08A40号 08A70号 2017年第68季度 68年第27季度 2007年4月68日
PDF格式BibTeX公司 XML格式引用
\textit{P.Jonsson}等人，LIPIcs——莱布尼茨国际程序。通知。83，第17条，第15页（2017；Zbl 1441.68093）
全文： 内政部 arXiv公司
罗斯季斯拉夫·霍奇克;托马索·莫拉希尼;阿曼达·维达尔

有值约束满足的代数方法。 （英语） Zbl 1440.68121号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第42条，第20页（2017年）。
MSC公司：65年第68季度 08A70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Horík}等人，LIPIcs——莱布尼茨国际程序。通知。82，第42条，第20页（2017年；Zbl 1440.68121）
全文： 内政部
宫崎骏、高本瑞

关于有界特征值重数图的同构检验。 （英语） Zbl 1497.68231号

Blömer，Johannes（编辑）等人，《计算机和信息科学的数学方面》。2017年11月15日至17日，奥地利维也纳，第七届国际会议，MACIS 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10693, 325-329 (2017).
MSC公司：65年第68季度 05C25号 05C60型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.宫崎骏}，Lect。注释计算。科学。10693、325--329（2017年；Zbl 1497.68231）
全文： 内政部
Fisikopoulos，维萨里昂;Zafeirakopoulos、Zafeilakis

埃尔哈特插值多面体的实验研究。 （英语） Zbl 1497.68527号

Blömer，Johannes（编辑）等人，《计算机和信息科学的数学方面》。2017年11月15日至17日在奥地利维也纳举行的2017年MACIS第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10693, 320-324 (2017).
MSC公司：68单位05 52B20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Fisikopoulos}和\textit{Z.Zafeirakopoulos}，Lect。注释计算。科学。10693、320-324（2017；Zbl 1497.68527）
全文： 内政部
斯蒂法诺·比斯塔雷利;法比奥·马蒂内利;伊拉里亚·马特尤奇;弗朗西斯科·桑蒂尼

定量部分模型检验函数及其优化。 （英语） Zbl 1403.68121号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，319-337（2017）。
MSC公司：60年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bistarelli}等人，EPiC Ser。计算。46319-337（2017年；兹比尔1403.68121）
全文： 内政部
阿尔伯特·海因勒;维克托·列万多夫斯基

第一（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月 2004年8月 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{A.Heinle}和\textit{V.Levandovskyy}，in：代数、几何和数论中的算法和实验方法。查姆：斯普林格。455--480（2017；Zbl 1400.16001）
全文： 内政部 arXiv公司
安娜·索科洛娃;哈拉尔德·沃切克

分布凸集中的终止。 （英语） Zbl 1400.68145号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-033-0）。LIPIcs–莱布尼茨国际信息学论文集72，第22条，第16页（2017年）。
MSC公司：87年第68季度 18B20型 18个C20 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Sokolova}和\textit{H.Woracek}，LIPIcs——莱布尼茨国际程序。通知。72，第22条，第16页（2017；Zbl 1400.68145）
全文： 内政部
阿萨夫·纳尔

光谱间隙排除了低维嵌入。 （英语） Zbl 1433.68312号

Aronov，Boris（编辑）等人，第33届计算几何国际研讨会。2017年7月4日至7日，澳大利亚布里斯班，SoCG 2017。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。77，第50条，第16页（2017）。
MSC公司：68兰特 05元50分 15B51号 46B85号
PDF格式BibTeX公司 XML格式引用
\textit{A.Naor}，LIPIcs——莱布尼茨国际程序。通知。77，第50条，第16页（2017；Zbl 1433.68312）
全文： 内政部 arXiv公司
彼得·保罗;克里斯蒂安·西尔维乌·拉杜

\（11\mid p（11n+6）\）的新见证人身份。 （英语） Zbl 1416.11155号

Andrews，George E.（编辑）等，解析数论，模形式和超几何级数。2016年3月17日至21日，美国佛罗里达州盖恩斯维尔佛罗里达大学，为庆祝克利须那·阿拉迪60岁生日。查姆：斯普林格。Springer程序。数学。《统计》第221、625-639页（2017年）。
MSC公司：第11页83 第13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{P.Paule}和\textit{C.-S.Radu}，施普林格程序。数学。Stat.221、625--639（2017；Zbl 1416.11155）
全文： 内政部
迈克尔·孔帕彻;范，Trung Van

偏序集约束满足的复杂性二分法。 （英语） Zbl 1402.68099号

Vollmer，Heribert（编辑）等人，第34届计算机科学理论方面研讨会（STACS 2017），德国汉诺威，2017年3月8-11日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-028-6）。LIPIcs–莱布尼茨国际信息学学报66，第47条，第12页（2017年）。
MSC公司：65年第68季度 03C35号 10年5月 08A40号 08A70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Kompatscher｝和\textit｛T.Van Pham｝，LIPIcs——莱布尼茨国际期刊。通知。66，第47条，第12页（2017；Zbl 1402.68099）
全文： 内政部 arXiv公司
佩尼亚，J.M。

某些矩阵类的精确计算和应用。 （英语） Zbl 1444.65017号

Mateos，Mariano（编辑）等人，《计算数学、数值分析和应用》。2016年6月，西班牙吉翁第十七届“Jacques-Louis Lions”西班牙法语学校的课堂讲稿。查姆：斯普林格。SEMA SIMAI Springer系列。13, 107-151 (2017).
MSC公司：65英尺99英寸 65克50 65千5 65D17号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Peña}，SEMA SIMAI Springer Ser。13、107——151（2017年；Zbl 1444.65017）
全文： 内政部
Chandran，苏尼尔;戴维斯·伊斯萨克;安德烈亚斯·卡伦鲍尔

关于双液盖和分区的参数化复杂性。 （英语） Zbl 1398.68221号

郭炯（编辑）等，第十一届参数化精确计算国际研讨会（IPEC 2016），丹麦奥胡斯，2016年8月24-26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-023-1）。LIPIcs–莱布尼茨国际信息学论文集63，第11条，第13页（2017年）。
MSC公司：65年第68季度 05C69号 05C70号 2017年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Chandran}等人，LIPIcs——莱布尼茨国际程序。通知。63，第11条，第13页（2017年；兹bl 1398.68221）
全文： 内政部
马丁·赫尔默

计算完全单复曲面簇的Chern-Schwartz-MacPherson类。 （英语） 兹比尔1383.14017

Kotsireas，Ilias S.（编辑）等人，《计算机代数的应用》，希腊卡拉马塔，2015年7月20日至23日。查姆：施普林格（ISBN 978-3-319-56930-7/hbk；978-3-3169-56932-1/电子书）。《Springer Proceedings in Mathematics&Statistics》198，207-217（2017）。
MSC公司：2015年第14季度 14立方厘米17 14米25 14-04 第13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{M.Helmer}，施普林格程序。数学。Stat.198，207--217（2017；Zbl 1383.14017）
全文： 内政部 arXiv公司
哈舍克，罗马人;佐尔坦科瓦奇;Jan Zahradník

使用计算机代数对历史轨迹问题进行当代解释。 （英语） 兹比尔1395.51004

Kotsireas，Ilias S.（编辑）等人，《计算机代数的应用》，希腊卡拉马塔，2015年7月20日至23日。查姆：施普林格（ISBN 978-3-319-56930-7/hbk；978-3-3169-56932-1/电子书）。《施普林格数学与统计学报》198，191-205（2017）。
MSC公司：51-04 68瓦30 01A05号 51-03
PDF格式BibTeX公司 XML格式引用
\textit{R.Hašek}等人，Springer Proc。数学。Stat.198，191--205（2017；Zbl 1395.51004）
全文： 内政部
阿里，安妮莎;米雷尔·莫伊内特;菲利普·塞雷

计算闭环过约束机构导纳的代数方法。 （英语） Zbl 1390.70006号

Kotsireas，Ilias S.（编辑）等人，《计算机代数的应用》，希腊卡拉马塔，2015年7月20日至23日。查姆：施普林格（ISBN 978-3-319-56930-7/hbk；978-3-3169-56932-1/电子书）。《施普林格数学与统计学报》198，1-9（2017）。
MSC公司：70B15号机组 65D17号 第25页第13页
PDF格式BibTeX公司 XML格式引用
\textit{A.Ali}等人，Springer Proc。数学。Stat.198，1-9（2017；Zbl 1390.70006）
全文： 内政部
张振宁;杜冬蕾;吴晨晨;徐大川;张冬梅

最大有向切割问题的谱划分算法。 （英语） Zbl 1470.68064号

高晓峰（主编）等，组合优化及其应用。第十一届国际会议，2017年COCOA，中国上海，2017年12月16-18日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10627, 298-312 (2017).
MSC公司：68兰特 05元50分 05C70号 05C85号 68周25 90立方厘米20 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zhang}等人，Lect。注释计算。科学。10627298-312（2017年；兹比尔1470.68064）
全文： 内政部
瓦西里·沙佩耶夫。;沃罗佐佐夫，叶夫根尼五世。

将配点方程的积分形式与偏微分方程解的匹配微分关系相结合的配点和最小残差法。 （英语） Zbl 1455.65217号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2017年9月18日至22日，中国北京，中国社会科学院第19届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10490, 346-361 (2017).
MSC公司：65号35 65N22型 65号55 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛V.P.Shapeev｝和\textit｛E.V.Vorozhtsov｝，Lect。注释计算。科学。10490，346--361（2017；Zbl 1455.65217）
全文： 内政部
劳尔·埃普雷;任、岳;汉斯·施奈曼

Singular中的polymake接口及其应用。 （英语） Zbl 1455.14116号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2017年9月18日至22日，中国北京，中国社会科学院第19届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。1049109-117（2017）中所述。
MSC公司：2015年第14季度 14-04 13-04 14B05型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛R.Epure｝等人，Lect。注释计算。科学。10490，109--117（2017；Zbl 1455.14116）
全文： 内政部
亚历山大·布鲁诺。;维克托·埃德纳尔。;瓦莱里·罗曼诺夫斯基。

关于Algaba-Gamero-Garcia系统的新积分。 （英语） Zbl 1455.34003号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2017年9月18日至22日，中国北京，中国社会科学院第19届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10490, 40-50 (2017).
MSC公司：34A05型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Bruno}等人，Lect。注释计算。科学。10490，40-50（2017；Zbl 1455.34003）
全文： 内政部
本格，维尔纳;沃尔夫冈·多布勒

海量几何代数：几何代数在C++实现中扩展到大数据时代的愿景。 （英语） Zbl 1425.68424号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 27，第3期，2153-2174（2017）.
MSC公司：68单位05 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{W.Benger}和\textit{W.Dobler}，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。27，第3号，2153--2174（2017；Zbl 1425.68424）
全文： 内政部
玛格丽塔·帕佩夫蒂西奥;迪特马尔·希尔登布兰德;乔治·帕帕吉安纳基斯

混合现实中虚拟角色模拟的共形几何代数代码生成器比较。 （英语） Zbl 1382.65057号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 2051-2066年3月27日（2017年）.
MSC公司：65D18天
PDF格式BibTeX公司 XML格式引用
\textit{M.Papaefthymiou}等人，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。27，第3号，2051--2066（2017；Zbl 1382.65057）
全文： 内政部
洛佩斯·贝隆（Lopez Belon）、毛里西奥·塞勒（Mauricio Cele）;迪特马尔·希尔登布兰德

使用几何代数马达的实用几何建模。 （英语） Zbl 1425.68435号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 27，第3期，2019-2033（2017）.
MSC公司：68单位05 15A66型 65D18天
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Lopez Belon}和\textit{D.Hildenbrand}，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。2019--2033年第3期27号（2017；Zbl 1425.68435）
全文： 内政部
罗梅罗，内茨;里卡多·巴伦·费尔南德斯;Godoy Calderón，萨尔瓦多

使用共形几何代数从空心球体构造Voronoi图。 （英语） Zbl 1382.65058号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 27，第3期，1997-2017（2017）.
MSC公司：65D18天
PDF格式BibTeX公司 XML格式引用
\textit{N.Romero}等人，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。1997年3月27日-2017年（2017年；Zbl 1382.65058）
全文： 内政部
阿克塞尔·斯维尔;亚当·莱昂·克莱普;拉尔斯·廷格尔斯塔德;奥拉夫·埃格兰

基于共形几何代数的点云目标检测。 （英语） Zbl 1382.65059号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 27，第3期，1961-1976（2017）.
MSC公司：65D18天 10层62层
PDF格式BibTeX公司 XML格式引用
\textit{A.Sveier}等人，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。1961-1976年第3期27号（2017年；Zbl 1382.65059）
全文： 内政部 链接
雅罗斯拉夫·赫迪纳;纳夫拉特，阿莱什

基于共形几何代数的双目计算机视觉。 （英语） Zbl 1425.68420号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 27，第3期，1945-1959（2017）.
MSC公司：68T45型 15A66型 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{J.Hrdina}和\textit{A.Návrat}，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。第3期第27号，1945年--1959年（2017年；Zbl 1425.68420）
全文： 内政部
杨莹;霍莉·拉什梅尔;Ivrissimtzis、Ioannis

有序随机拉普拉斯网格平滑。 （英语） Zbl 1422.65053号

Floater，Michael（编辑）等人，曲线和曲面的数学方法。2016年6月23日至28日在挪威托恩斯伯格举行的2016年MMCS第九届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10521, 312-323 (2017).
MSC公司：65D18天 05元50分 05C80号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Yang}等人，Lect。注释计算。科学。10521、312--323（2017；Zbl 1422.65053）
全文： 内政部 链接
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯（Peter G.Jeavons）。;安德烈·克罗金;罗伯特·鲍威尔;斯坦尼斯拉夫·伊文

有值约束满足问题的二值化。 （英语） Zbl 1477.68121号

SIAM J.离散数学。 31，第4号，2279-2300（2017）.
MSC公司：65年第68季度 08A70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Cohen}等人，SIAM J.离散数学。31，第4号，2279--2300（2017；Zbl 1477.68121）
全文： 内政部 arXiv公司
斯莫尔卡，斯特芬;普拉文·库马尔;内特·福斯特;德克斯特·科赞;亚历山德拉·席尔瓦

康托与斯科特相遇：概率网络的语义基础。 （英语） Zbl 1380.68132号

Castagna，Giuseppe（ed.）等人，第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。557-571 (2017).
MSC公司：68号30 68M10个
PDF格式BibTeX公司 XML格式引用
\textit{S.Smolka}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。557--571（2017；Zbl 1380.68132）
全文： 内政部 arXiv公司
Park，Junkil公园;李因苏普;奥列格·索科尔斯基;黄大渊;安，Sojin;Choi，Jin-Young先生;康英业

一种用于分层实时系统可调度性分析和工作负载抽象的进程代数方法。 （英语） 兹比尔1373.68162

J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Park}等人，J.Log。阿尔盖布。方法计划。92，1-18（2017年；兹bl 1373.68162）
全文： 内政部 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

全部的 前3名

软件