摘要
{BST10}克拉克·巴雷特（Clark Barrett）、亚伦·斯塔姆（Aaron Stump）和塞萨尔·蒂内利（Cesare Tinelli）。 smt-lib标准：2.0版。 在 第八届满意模理论国际研讨会论文集（英国爱丁堡） 2010年第13卷。 谷歌学者 
{DMB08}莱昂纳多·德·莫拉和尼古拉·比约纳。 Z3：高效的SMT求解器。 在 系统构建和分析的工具和算法 ，第337-340页。 施普林格，2008年。 谷歌学者 数字图书馆 
{密件抄送 + 11} Clark Barrett、Christopher L.Conway、Morgan Deters、Liana Hadarean、Dejan Jovanović、Tim King、Andrew Reynolds和Cesare Tinelli。 Cvc4.输入 计算机辅助验证 ，第171-177页。 施普林格，2011年。 谷歌学者 数字图书馆 {Neu12}塞韦林·诺依曼。 Gröbner基计算中矩阵的并行约简。 弗拉基米尔·格特（Vladimir P.Gerdt）、沃尔夫拉姆·科普夫（Wolfram Koepf）、恩斯特·迈尔（Ernst W.Mayr）和叶夫根尼·沃罗日佐夫（Evgenii V.Vorozhtsov），编辑， 科学计算中的计算机代数 ，第7442卷，共页 计算机科学课堂讲稿 ，第260-270页。 施普林格-柏林-海德堡，2012年。 统一资源定位地址 http://dx.doi.org/10.1007/978-3642-32973-9_22。 谷歌学者 数字图书馆 ｛KFI｝ + 87}S.Katsura、W.Fukuda、S.Inawashiro、N.M.Fujiki和R.Gebauer。 伊辛自旋玻璃中有效场的分布 j 模型位于 吨 =0. 细胞生物物理学 , 11(1): 309--319, 1987. 谷歌学者 交叉引用 
{BH08}戈兰·比约克（Goran Bjorck）和乌菲·哈格鲁（Uffe Haagerup）。 指数3的所有循环p-根，通过对称保护计算得出。 arXiv预打印arXiv:0803.2506 , 2008. 谷歌学者 {LRP07}V.Levandovskyy、C.Rosenkranz和T.Povalyayeva。 在线数据库 gröbner基于实现。 功能检查和比较 , 2007. 统一资源定位地址 http://www.risc.uni-linz.ac.at/Groebner-Bases-Implementations/。 谷歌学者 {格拉ä09}汉斯·格特·格拉贝。 SymbolicData项目。 技术报告，技术报告（2000-2009），2009年。 统一资源定位地址 http://www.symbolicdata.org。 谷歌学者 {GNJ13}Hans-Gret Gräbe、Andreas Nareike和Simon Johanning。 SymbolicData项目——面向计算机代数社交网络。2013年。 谷歌学者 {HLN13}阿尔伯特·海因勒、维克托·列万多夫斯基和安德烈亚斯·纳雷克。 SymbolicData:SDEval-为每个人制定基准。 arXiv预打印arXiv:1310.5551 , 2013. 谷歌学者 {CCH（CCH） + 11} 斯维特拉娜·科约卡鲁、亚历山德鲁·科尔斯尼科夫、阿尔伯特·海因勒、维克托·列万多夫斯基、卢德米拉·马拉霍夫、格里沙·斯图津斯基和维克托·乌夫纳罗夫斯基。 创建非交换计算机代数的知识框架。 在 程序。 第七届微电子和计算机科学国际会议，摩尔多瓦共和国奇什因奥乌 ，第166-169页，2011年。 谷歌学者 {HL13}阿尔伯特·海因勒和维克托·列万多夫斯基。 第一类Z-齐次多项式的因式分解( q个 )-Weyl代数。 arXiv预打印arXiv:1302.5674 , 2013. 谷歌学者 {GHL14}马克·吉斯布雷希特（Mark Giesbrecht）、阿尔伯特·海因勒（Albert Heinle）和维克托·列万多夫斯基（Viktor Levandovskyy）。 分解线性微分算子 n个 变量。 在 第39届符号与代数计算国际研讨会论文集 ，第194页至第201页。 ACM，2014年。 谷歌学者 数字图书馆 {AGK96}Beatrice Amrhein、Oliver Gloor和Wolfgang Küchlin。 走得更快。 在 符号计算系统的设计与实现 ，第150-161页。 施普林格，1996年。 谷歌学者 {SST12}亚伦·斯塔姆（Aaron Stump）、杰夫·萨特克利夫（Geoff Sutcliffe）和塞萨尔·蒂内利（Cesare Tinelli）。 介绍StarExec：一个用于逻辑解决的跨社区基础设施。 推理系统的比较实证评价 ，第2页，2012年。 谷歌学者 {BR08}穆罕默德·巴拉卡特和丹尼尔·罗伯茨。 同调代数的元包。 代数杂志及其应用 , 7(03): 299--317, 2008. 谷歌学者 交叉引用 {间隙13}间隙。 GAP——组、算法和编程，4.6.3版 GAP集团，2013年。 统一资源定位地址 http://www.gap-system.org。 谷歌学者 {S（S） + 威廉·斯坦因（William Stein）等人。塞奇：开源数学软件，2008年。 统一资源定位地址 http://www.sagemath.org。 谷歌学者 {SEW12}萨蒂亚·斯瓦鲁普·萨马尔（Satya Swarup Samal）、哈桑·埃拉米（Hassan Errami）和安德烈亚斯·韦伯（Andreas Weber）。 PoCaB：探索生物化学反应网络代数方法的软件基础设施。 在 科学计算中的计算机代数 ，第294--307页。 施普林格，2012年。 谷歌学者 数字图书馆 {KG00}Minoru Kanehisa和Susumu Goto。 KEGG：京都基因和基因组百科全书。 核酸研究 , 28(1): 27--30, 2000. 谷歌学者 {LNBB公司 + 06}尼古拉斯·勒诺维尔（Nicolas Le Novere）、本杰明·伯恩斯坦（Benjamin Bornstein）、亚历山大·布罗彻（Alexander Broicher）、梅兰妮·考特（Melanie Courtot）、马可·多尼泽利（Marco Donizelli）、哈里什·达鲁里（Harish Dharuri）、卢莉（Lu Li）、赫伯特·索罗（Herbert Sauro）、玛丽亚·席斯特拉（Maria。 核酸研究 ，34（补充1）:D689--D6912006。 谷歌学者
建议
对简单数据库操作进行基准测试 1987年ACM SIGMOD国际数据管理会议记录 数据库管理系统有两个广为人知的基准测试，即TP1基准测试（Anon 等 [1985]）和威斯康星州基准（Bitton、Dewitt和Turbyfil[1984]），旨在衡量整个交易。。。
