×

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

最新的 引文 关联
罗伊娜·佩吉特;马克·威尔顿

对称函数的完备与（mathrm）的表示{SL}_2（\mathbf{C}）\）。 （英语） Zbl 1466.05222号

阿尔盖布。梳子。 第4期，第1期，27-68页（2021年）.
审核人：皮埃尔·卢伊斯·蒙塔加德（蒙彼利埃）
MSC公司：2010年5月 05年5月5日 20立方 22E46型 22E47型
PDF格式BibTeX公司 XML格式引用
\textit｛R.Paget｝和\textit｛M.Wildon｝，代数。梳子。4，编号1，27--68（2021；Zbl 1466.05222）
全文： 内政部 arXiv公司
凯瑟琳·杜布瓦;阿兰·乔治蒂;理查德·杰内斯蒂尔

枚举组合数学的测试和证明。 （英语） Zbl 1348.68217号

Aichernig，Bernhard K.（编辑）等人，《测试与证明》。2016年7月5日至7日，作为2016年STAF的一部分，在奥地利维也纳举行了第十届国际会议，TAP 2016。诉讼程序。查姆：施普林格（ISBN 978-3-319-41134-7/pbk；978-3-316-41135-4/电子书）。计算机科学课堂讲稿9762，57-75（2016）。
MSC公司：68吨15 05-04 05A99号 68N17号 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{C.Dubois}等人，Lect。注释计算。科学。9762，57-75（2016；Zbl 1348.68217）
全文： 内政部 哈尔
西蒙·布莱克本。;约翰·布里内尔。;马克·威尔顿

有限群中一对元素共轭的概率。 （英语） Zbl 1272.20067号

J.隆德。数学。社会学，II。序列号。 86，第3期，755-778（2012）.
审核人：Rachel D.Camina（剑桥）
MSC公司：20磅05英寸 20E45型 20B30码 20D60年 05年05月05日 2016年1月5日
PDF格式BibTeX公司 XML格式引用
\textit{S.R.Blackburn}等人，J.Lond。数学。社会学，II。序列号。86，第3号，755--778（2012；Zbl 1272.20067）
全文： 内政部 arXiv公司
尼基塔·达尼连科

使用关系开发Haskell程序以计算最大二部匹配。 （英语） Zbl 1364.68129号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560130-145（2012）。
MSC公司：68甲18 05C70号 05C85号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{N.Danilenko}，莱克特。注释计算。科学。7560、130--145（2012年；Zbl 1364.68129）
全文： 内政部
鲁道夫·伯格哈默;塞巴斯蒂安·费舍尔

简单的基于矩形的函数程序，用于计算自反传递闭包。 （英语） Zbl 1330.68044号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560114-129（2012）。
MSC公司：68甲18 03G15年 05C20号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}和\textit{S.Fischer}，莱克特。注释计算。科学。7560114-129（2012年；Zbl 1330.68044）
全文： 内政部
Horia F.波普。（编辑）;安塔尔·贝格（编辑）

第八届数学和计算机科学联合会议，MaCS 2010，科马尔诺，斯洛伐克，2010年7月14-17日。精选论文。 （英语） Zbl 1222.00037号

Győr：诺瓦达特（ISBN 978-963-9056-38-1/pbk）。第十五卷，第416页。(2011).
MSC公司：00B25型 68-06 94-06 22-06 2006年5月 03-06 11-06 91-06
PDF格式BibTeX公司 XML格式引用
\textit{H.F.Pop}（编辑）和\textit{A.Bege}（编），第八届数学和计算机科学联合会议，MaCS 2010，斯洛伐克科马诺，2010年7月14-17日。精选论文。Győr:NOVADAT（2011；Zbl 1222.00037）
听说了，达米安;克雷格·霍奇森;布鲁诺·马泰利;卡洛·彼得罗尼奥

复杂度较小的双曲线图。 （英语） Zbl 1207.57024号

实验数学。 19，第2期，211-236（2010）.
审核人：一原和弘（东京）
MSC公司：57M50型 57米27 05C30号 57平方米20 57米15
PDF格式BibTeX公司 XML格式引用
\textit{D.Heard}等人，实验数学。19，编号2211-236（2010年；Zbl 1207.57024）
全文： 内政部 arXiv公司 欧几里得
反向链接： 卫生官员

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件