图形日志 34份文件引用(1990–2022) 软件作者: 康森斯,M。;门德尔松 相关软件: XPath;SPARQL;洛雷尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…
LFR工具箱 31份文件引用(2004–2023) 软件作者: 西蒙·赫克(Simon Hecker);安德拉斯·瓦尔加(Andras Varga);让-弗朗索瓦·马格尼 相关软件: YALMIP;莫塞克;SeDuMi… 主要字段: 动力系统与遍历理论(37-XX);近似和展开(41-XX);计算机科学(68-XX)…
圣杯 引用于20份文件(1994–2021) 软件作者: 达雷尔·雷蒙德;伍德,德里克 相关软件: 自动化;AMoRE;GitHub… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
AWK公司 21篇文献引用(1979–2019) 软件作者: Alfred V.Aho、Brian W.Kernighan、Peter J.Weinberger 相关软件: PERL;数学;YACC… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
TREX公司 19份文件引用(2003–2006) 软件作者: 詹姆斯·克拉克 相关软件: 小埃菲尔;Smalltalk;放松NG… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
常规集合 16篇文献引用(2011–2018) 软件作者: 亚历山大·克劳斯;托比亚斯·尼普科 相关软件: Isabelle/HOL;Coq;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
nSPARQL公司 13份文件引用(2009–2023) 软件作者: 佩雷斯,J。;阿雷纳斯,M。;古铁雷斯,C。 相关软件: SPARQL;XPath;图形日志… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
第3章 13份文件引用(2015–2023) 软件作者: Trinh MT、Chu DH、Jaffar J 相关软件: 陌生人;Z3str3;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
自动 13份文件引用(1990–2023) 软件作者: Champarnaud,J.M。;Hansel,G。 相关软件: 圣杯;AMoRE;AG… 主要字段: 一般代数系统(08-XX);群论与推广(20-XX);计算机科学(68-XX)
AMoRE公司 12份文件引用(1998–2010) 软件作者: O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件: 自动化;间隙;圣杯… 主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者: 吴春汉;张兴元;城市,基督教 相关软件: Coq;存档正式证据;常规集… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
雷克斯 11份文件引用(2011–2023) 软件作者: 韦恩斯,M。;De Halleux,P。;蒂尔曼,N。 相关软件: 莫纳;z3;DART… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
通过 8份文件引用(2015–2023) 软件作者: Li,G.,Ghosh,I。 相关软件: S3;Z3-str;陌生人… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
Regex_Equivalence(正则_等效) 7份文件引用(2014–2022) 软件作者: Nipkow,T。;特拉泰尔·D·。 相关软件: Isabelle/HOL;存档正式证据;起重… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GLIMPSE公司 7份文件引用(2001年至2017年) 软件作者: 美国曼伯。;吴,S。 相关软件: SDSL;github;zdelta… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
Z3str2型 7份文件引用(2017–2023) 软件作者: 郑云辉;维杰·加内什;萨努语Subramanian;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉 相关软件: 陌生人;汉普;诺恩… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GenRGenS公司 6篇文献引用(2008–2013) 软件作者: 扬·蓬蒂;米歇尔·特梅尔;阿兰·丹尼斯 相关软件: gfun;Mfold;基因组… 主要字段: 组合数学(05-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
MSO_Regex_等效性 7份文件引用(2013–2018) 软件作者: 德米特里·特拉泰尔(Dmitriy Traytel);托比亚斯·尼普科 相关软件: Presburger Automata;Myhill-Nerode;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
有限自动机HF 6篇文献引用(2015–2020) 软件作者: 劳伦斯·保尔森 相关软件: 遗传有限集;Coq;Coq/SS反射… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
梅林 5份文件引用(2015–2021) 软件作者: Robert Soulé、Shrutarshi Basu、Parisa Jalili Marandi、Fernando Pedone、Robert Kleinberg、Emin Gün Sirer、Nate Foster 相关软件: 开放式神经网络;蟒蛇;vnep-近似值… 主要字段: 计算机科学(68-XX)
四元数 5份文件引用(2005–2019) 软件作者: M.I.法尔考;F.米兰达 相关软件: 数学;mctoolbox软件 主要字段: 组合数学(05-XX);数论(11-XX);场论与多项式(12-XX)…
Regexpcount公司 6篇文献引用(2003–2014) 软件作者: 尼科德梅,皮埃尔 相关软件: 枫树;RSEARCH;fastDNAml… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
生物红宝石 1份文件引用(2019) 软件作者: 片山,Toshiaki;川岛、水池;佐伊萨·戈托(Naohisa Goto);Mitsuteru C.Nakao。;Okuji,Yoshinori K。;Minoru Kanehisa;Dunker,A.K。;Konagaya,A。;宫野,S。;Takagi,T。 相关软件: 生物钟;生物疗法;Omics管道… 主要字段: 生物学和其他自然科学(92-XX)
PCRE公司 3份文件引用(2011–2018) 软件作者: – 相关软件: RE2;TRE;数字标识… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
专业矿工 1份文件引用(2017) 软件作者: 弗劳恩霍夫SCAI;D.Hanisch、K.Fundel、H.-T.Mevissen、R.Zimmer、J.Fluck 相关软件: 突变查找器;ABNER;iHOP… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX)
DReX公司 4份文件引用(2015–2022) 软件作者: 拉杰夫·阿鲁尔;Loris D'Antoni;穆昆德·拉戈塔曼 相关软件: 蒙保利;卢斯特;LOLA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
加纳 4份文件引用(2001–2002) 软件作者: 斯蒂芬·迪尔;哥尔格,卡斯滕;安德烈亚斯·凯伦(Andreas Kerren);莱因哈德·威廉 相关软件: 探戈;内华达州;GaniFA… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
可再生能源2 3份文件引用(2011–2013) 软件作者: 谷歌 相关软件: PCRE;数字Py;Rcpp… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
博客服务提供商 3份文件引用(2015–2020) 软件作者: 安吉洛·博尔索蒂(Angelo Borsotti);卢卡·布雷维利里;克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);安杰洛·莫尔岑蒂 相关软件: 网猪;葡萄;博客… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
计数基序 3份文件引用(2016年至2019年) 软件作者: Nuel,G。;德洛斯,V。 相关软件: fsaLib;BWA;R(右) 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
消防站 3份文件引用(2005–2009) 软件作者: 米歇尔·弗里舍特(Michiel Frishert);克鲁珀斯(Cleophas,Loek);布鲁斯·沃森。 相关软件: 卡梅尔;蒂布隆;打开Fst 主要字段: 计算机科学(68-XX)
闪光继电器 1份文件引用(2021) 软件作者: 巴罗维,D.W.,古尔瓦尼,S.,哈特,T.,佐恩,B.G。 相关软件: FlashMeta;FlashExtract;HaExcel… 主要字段: 计算机科学(68-XX)
fsaLib公司 3份文件引用(2016年至2019年) 软件作者: Nuel,G。;德洛斯,V。 相关软件: 计数基序;BWA;R(右) 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
JST公司 3份文件引用(2015年至2017年) 软件作者: Ghosh I、Shafiei N、Li G、Chiang W 相关软件: S3;Z3-str;通过… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
自由贸易区 3份文件引用(2016–2023) 软件作者: Luchaup,D.、Dyer,K.P.、Jha,S.、Ristenpart,T.、Shrimpton,T。 相关软件: – 主要字段: 信息与通信理论,电路(94-XX)
正则_代数 3份文件引用(2015–2016) 软件作者: 西蒙·福斯特;乔治·斯特鲁斯 相关软件: 大锤;Isabelle/HOL;陷阱… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CDG实验室 2份文件引用(2015年至2017年) 软件作者: R.Alfared、D.Béchet、A.Dikovsky 相关软件: – 主要字段: 历史与传记(01-XX);计算机科学(68-XX)
戈弗利泽 2份文件引用(2016) 软件作者: Kai Stadtmüller、Martin Sulzmann、Peter Thiemann 相关软件: 去;TyPiCal;GitHub… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
互方面 2份文件引用(2012–2021) 软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈维隆德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克 相关软件: 方面J;LOLA;AspectWerkz… 主要字段: 计算机科学(68-XX)
注册Stab 1份文件引用(2010) 软件作者: Vincent Aravantinos;卡费拉、里卡多;尼古拉斯·佩尔蒂埃 相关软件: TPTP;LOUI;VAMPIRE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SoftRegex软件 1份文件引用(2021) 软件作者: Jun-U.Park、Sang-Ki Ko、Marco Cognetta、Yo-Sub Han 相关软件: SemRegex公司;雷克斯;BLEU… 主要字段: 计算机科学(68-XX)
医学博士 在0个文档中引用 软件作者: 卢克·麦吉尼斯(Luke McGuinness)、莉娜·施密特(Lena Schmidt)、图伊娅·桑基拉(Tuija Sonkkila)、纳伊科·雅恩(Najko Jahn) 相关软件: R(右) 主要字段: –
POSIX莱辛 1份文件引用(2016) 软件作者: Fahad Ausaf、Roy Dyckhoff、Christian Urban 相关软件: 正则集;存档正式证据;伊莎贝尔/HOL 主要字段: 计算机科学(68-XX)
TXP公司 1份文件引用(2005) 软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。 相关软件: Java-MaC;LTL2BA;自旋蛋白 主要字段: 计算机科学(68-XX)