涂鸦 227篇文献引用(1986年至2024年) 软件作者: 西米恩·法杰特洛维奇 相关软件: AutoGraphiX;图形;人力资源… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
结信息 186篇文献引用(2005–2024) 软件作者: J.C.Cha;C.利文斯顿 相关软件: SnapPy;结地图集;GitHub… 主要字段: 代数几何(14-XX);群论与推广(20-XX);微分几何(53-XX)…
SnapPea公司 167篇文献引用(1992–2024) 软件作者: 帕特里克·J·卡拉汉。;希尔德布兰德,马丁五世。;周,Jeffrey R。 相关软件: SnapPy;捕捉;Regina… 主要字段: 群论与推广(20-XX);复变量函数(30-XX);微分几何(53-XX)…
坎特/卡什 157篇文献引用(1991–2022) 软件作者: 安妮塔·克拉曼(Anita Krahman)、卡罗琳·贾斯特(Carolin Just)、克劳斯·菲克尔(Claus Fieker)、弗洛里安·赫伊(Florian Heß)、何塞·门德斯(Jose Mendez)、吉尔根·克吕内斯(Jürgen Klüners)、马库斯·瓦格纳(Marcus Wagner)、迈克尔·波赫斯特(Michael Pohst);前作者:Andreas Hoppe、Carsten Friedrichs、Georg Baier、Harald Bartel、Hartmut Bauer、Johannes Graf v.Schmettow、Katharina Geißler、Klaus Wildanger、Maike Henningsen、Mario Daberkow、Martin Schörnig、Max Jüntgen KANT集团、德国数学研究所、柏林理工大学 相关软件: 岩浆;枫树;PARI/GP… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
自动图形X 146篇文献引用(1999–2024) 软件作者: Gilles Caporossi公司 相关软件: 涂鸦;图形;nauty… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
布吉 126篇文献引用(2007–2023) 软件作者: K.鲁斯坦·莱诺 相关软件: z3;Why3;规范#… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
坎迪斯 129篇文献引用(2005–2024) 软件作者: 罗尔夫·苏兰克·阿尔弗雷德·格雷 相关软件: Mathematica;SciPy;Python… 主要字段: 偏微分方程(35-XX);微分几何(53-XX);整体分析,流形分析(58-XX)…
K2(K2) 122篇文献引用(2004–2023) 软件作者: 马可·泰尔(Marco Thiel)、马门·罗曼诺(Mamen Romano)、安德烈·伯格纳(AndréBergner) 相关软件: TISEAN公司;图表;Matlab… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
VCC(沃尔沃汽车公司) 61篇文献引用(2010年-2023年) 软件作者: Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件: z3;布吉;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
FOCI公司 66份文件中引用(2004–2023) 软件作者: 兰吉特·贾拉(Ranjit Jhala)、肯尼思·麦克米兰(Kenneth L.McMillan) 相关软件: 公主;z3;CSIsat… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
叫做古迪辛 56篇文献引用(2014–2024) 软件作者: INRIA公司;克莱门特·玛丽亚;Jean-Daniel Boissonnat;马克·格利塞(Marc Glisse);玛丽埃特·伊维内克 相关软件: 撕裂;PHAT;酒神… 主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…
艾达 51篇文献引用(2007–2014) 软件作者: 伊芙琳·休伯特 相关软件: DIFFALG公司;枫树;FGb… 主要字段: 交换代数(13-XX);代数几何(14-XX);微分几何(53-XX)…
信号 51篇文献引用(1987–2020) 软件作者: 大卫·诺瓦克;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尔尼克 相关软件: 卢斯特;酯类;托勒密… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)…
包装-X 49篇文献引用(2015–2024) 软件作者: 帕特尔,希伦H。 相关软件: FeynCalc;FeynArts;FeynRules… 主要字段: 代数拓扑(55-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
Daikon公司 41篇文献引用(2005–2022) 软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;Guo,Philip J。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖、陈 相关软件: JML;胡迪尼;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
流量* 49篇文献引用(2015–2024) 软件作者: Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件: SpaceEx;d范围;高科技… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
ell-adic-galois-images公司 46篇文献引用(2015–2024) 软件作者: 杰里米·劳斯(Jeremy Rouse);安德鲁·萨瑟兰(Andrew V.Sutherland)。;大卫·苏莱克·伯恩 相关软件: 岩浆;LMFDB;SageMath… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…
WhyML公司 引用于44份文件(2013–2023) 软件作者: Jean-Christophe Filliátre;安德烈·帕斯科维奇 相关软件: Why3;z3;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
喷气式飞机 43篇文献引用(2014–2024) 软件作者: H.Baran、M.Marvan 相关软件: CDE;宝石;SYMMGRP… 主要字段: 非结合环与代数(17-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
classifyCeq.lib 42篇文献引用(1990–2023) 软件作者: 阿夫扎尔、迪巴;穆罕默德·阿赫桑·宾亚明;费尔拉·坎瓦尔Janjua 相关软件: 单一;planebranches.mws;classifyReq.lib… 主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…
GEMPIC公司 40篇文献引用(2017–2024) 软件作者: 迈克尔·克劳斯(Michael Kraus);Katharina Kormann;菲利普·莫里森。;埃里克·桑纳德吕克 相关软件: Vador;iPIC3D;struphy… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
PicToSeek 26篇文献引用(2001年-2010年) 软件作者: Gevers T、Smelders A公司 相关软件: VisualSEEk;NeTra;PicHunter… 主要字段: 欧氏空间(42-XX)的调和分析;计算机科学(68-XX);生物学和其他自然科学(92-XX)…
同源性 34份文件引用(2001–2024) 软件作者: Jean-Guillaume杜马;弗兰克·赫肯巴赫(Frank Heckenbach);大卫·桑德斯;沃尔克马尔·韦尔克 相关软件: 缺口;CHomP;大写… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);代数拓扑(55-XX)…
NISPOC公司 34份文件引用(1998–2020) 软件作者: 亚历山大·维塞尔(Aleksander Vesel);贾尼斯·埃罗夫尼克 相关软件: Eigtool;ABC4EFT;GeneRa… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计力学,物质结构(82-XX)…
GELDA公司 33篇文献引用(1996–2018) 软件作者: 彼得·昆克尔(Peter Kunkel)、沃尔克·梅尔曼(Volker Mehrmann)、沃纳·拉思(Werner Rath)和约格·威克特(Jörg Weickert) 相关软件: 性别;罗德斯;Modelica… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
SCHUR公司 引用于31份文件(1994–2023) 软件作者: 布莱恩·怀伯恩 相关软件: Mathematica;数学张量;ALPS… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX)…
捕捉 30篇文献引用(1999–2019) 软件作者: 奥利弗·古德曼 相关软件: SnapPea;SnapPy;岩浆… 主要字段: \(K\)理论(19-XX);群论与推广(20-XX);微分几何(53-XX)…
SADE公司 23篇文献引用(2011年-2023年) 软件作者: 塔西西奥·M·罗查·菲略。;Annibal Figueiredo;纳兹、雷哈纳;汗,穆罕默德·丹麦语;伊姆兰·奈姆 相关软件: 宝石;向量场的李代数;德索尔VII… 主要字段: 场论与多项式(12-XX);常微分方程(34-XX);偏微分方程(35-XX)…
查龙 17篇文献引用(2000–2017) 软件作者: 拉杰夫·阿鲁尔;格鲁苏,拉杜;Hur,Yerang;维杰·库马尔;李因苏普 相关软件: 高科技;SpaceEx;酯类… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
GraPHedron公司 21篇文献引用(2007–2023) 软件作者: 哈德里安·梅洛 相关软件: AutoGraphiX;鹦鹉螺;图形… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
HOL-OCL公司 13份文件引用(2002–2016) 软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特 相关软件: ATL;凯伊;ETPS… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
找不同 17篇文献引用(2008–2022) 软件作者: 本萨勒姆,萨德克;马吕斯·博兹加;Nguyen,Thanh-Hung;约瑟夫·西法基斯 相关软件: MONA;里奥;隔间… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
偏序集 19份文件引用(1996–2019) 软件作者: J.R·斯坦布里奇 相关软件: 考克斯仪;SF;OEIS… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
FunArray(趣味阵列) 18篇文献引用(2011–2021) 软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐 相关软件: ASTREE公司;z3;助推器… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
INGRID公司 16篇文献引用(1983–2017) 软件作者: 罗纳德·达顿(Ronald D.Dutton)。;罗伯特·布里厄姆(Robert C.Brigham)。 相关软件: AutoGraphiX;涂鸦;图形… 主要字段: 组合数学(05-XX);偏微分方程(35-XX);数值分析(65-XX)…
结理论 16篇文献引用(2003–2023) 软件作者: 及巴纳丹 相关软件: 结地图集;Khoho;结景… 主要字段: 组合数学(05-XX);非结合环与代数(17-XX);范畴理论;同调代数(18-XX)…
庞加莱系列 15篇文献引用(2010年-2023年) 软件作者: Bedratyuk,L.P.公司。 相关软件: 麦考利2;Normaliz;枫树… 主要字段: 交换代数(13-XX);代数几何(14-XX);非结合环与代数(17-XX)…
椭圆盖.lib 14篇文献引用(2015–2024) 软件作者: Janko Böhm、Kathrin Bringmann、Arne Buchholz、Hannah Markwig 相关软件: 单一;鹦鹉螺;痕迹… 主要字段: 数论(11-XX);代数几何(14-XX);复变量函数(30-XX)…
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者: Böhme,萨沙;Leino,K.Rustan M。;沃尔夫,伯克哈特 相关软件: Isabelle/HOL;Why3;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
BoogiePL公司 11份文件引用(2005–2020) 软件作者: DeLine,R.,Leino,K.R.M。 相关软件: z3;规范#;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
纽特基特 13份文件引用(2014–2023) 软件作者: C.种子 相关软件: github;SnapPy;打结地图集… 主要字段: 代数几何(14-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…
金刚狼 11份文件引用(2012–2020) 软件作者: 乔治·魏森巴赫(Georg Weissenbacher);Daniel Kroening;沙拉德·马利克 相关软件: 灌篮;CPA检查员;爆炸… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
短吻鳄 12份文件引用(2008–2023) 软件作者: 科瓦茨,劳拉 相关软件: Mathematica;fastZeil;Aligator.jl… 主要字段: 组合数学(05-XX);场论与多项式(12-XX);交换代数(13-XX)…
不变量对称 12份文件引用(1999–2020) 软件作者: Uöktas,W Hereman 相关软件: 冷凝水;Mathematica;枫树… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);差分和函数方程(39-XX)…
c2i公司 10篇文献引用(2016年-2023年) 软件作者: 拉胡尔·夏尔马(Rahul Sharma);亚历克斯·艾肯 相关软件: z3;胡迪尼;Eldarica… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Chalice公司 10篇文献引用(2012–2022) 软件作者: K.Rustan M.Leino;彼得·米勒;简·斯曼斯 相关软件: VeriFast;布吉;毒蛇… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CoxIter公司 11份文件引用(2015–2023) 软件作者: R.古列尔梅蒂。 相关软件: Mathematica;PARI/GP;SageMath公司 主要字段: 数论(11-XX);群论与推广(20-XX);拓扑群,李群(22-XX)…
贾霍布 11份文件引用(2007–2022) 软件作者: Kuncak,V.、Wies,T.、Zee,K.、Malkis,A.、Bouillaguet,C.、Nguyen,H.H.、Schmitt,P。 相关软件: z3;VAMPIRE公司;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
贾斯 5份文件引用(2005–2009) 软件作者: Bartetzko,医学博士,Fischer,C.,Wehrheim,H。 相关软件: JML;埃菲尔;规范#… 主要字段: 计算机科学(68-XX)
兰道.jl 11份文件引用(2022–2023) 软件作者: 塞巴斯蒂安·米泽拉;西蒙·特伦 相关软件: PolyLogTools;天秤座;加拿大… 主要字段: 特殊功能(33-XX);量子理论(81-XX)
拓扑网络 11份文件引用(2020–2023) 软件作者: 仓子轩、郭伟伟 相关软件: 撕裂;持久性图像;TDA… 主要字段: 组合数学(05-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
芭蕾舞团 11份文件引用(2010年-2023年) 软件作者: Andreas Björklund、Thore Husfeldt、Petteri Kaski、Mikko Koivisto 相关软件: 图特;SageMath;GiNaC… 主要字段: 组合数学(05-XX);数论(11-XX);数值分析(65-XX)…
基础知识 8份文件引用(2010–2022) 软件作者: 雷吉斯·布朗;托马斯·亨辛格(Thomas A.Henzinger)。;Thibaud Hottelier;科瓦茨,劳拉 相关软件: AProVE;速度;TiML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
助推器 引用于9份文件(2014–2024) 软件作者: 弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 相关软件: z3;Mcmt;SMT-LIB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
InVeSt公司 10篇文献引用(1999–2013) 软件作者: Bensalem S、Lakhnech Y、Owre S 相关软件: PVS;TREX公司;霍尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PAGAI公司 10篇文献引用(2014–2022) 软件作者: 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 相关软件: 停机坪;PPL;阿斯匹克… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
游猎 8份文件引用(2014–2020) 软件作者: Alberti,F.、Bruttomesso,R.、Ghilardi,S.、Ranise,S.和Sharygina,N。 相关软件: Mcmt;z3;助推器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
签名不变量 10篇文献引用(2019–2023) 软件作者: 乔沙·迪尔(Joscha Diehl);杰里米·雷森斯坦 相关软件: 签字人;Diffrax;ii签名… 主要字段: 代数几何(14-XX);结合环与代数(16-XX);非结合环与代数(17-XX)…
sl2泡沫 10篇文献引用(2018年-2023年) 软件作者: Donà,彼得罗;乔治·萨尔诺 相关软件: CUDAnative.jl;CUDA.jl;GitHub… 主要字段: 拓扑群,李群(22-XX);微分几何(53-XX);统计学(62-XX)…
GrInvIn公司 引用于9份文件(2007–2023) 软件作者: 阿德里安·皮特斯;克里斯·库萨特(Kris Coolsaet);冈纳·布林克曼;范·克莱恩普特(Van Cleemput),尼古拉斯(Nicolas);Veerle法克 相关软件: 鹦鹉螺;GraPHedron;图形之家… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Mod-p群上同调 引用于9份文件(2010–2022) 软件作者: 西蒙·金、大卫·格林 相关软件: 缺口;SageMath;奇异… 主要字段: 总体主题;藏品(00-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
SAL公司 5份文件引用(2004–2021) 软件作者: 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件: 自旋蛋白;PVS;升起… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者: 胡安·加莱奥蒂(Juan P.Galeotti);尼古拉·罗斯纳(Nicolas Rosner);卡洛斯·洛佩斯·蓬博(Carlos G.Lopez Pombo);马塞洛·F·弗里亚斯 相关软件: TestEra;Java PathFinder;MiniSat… 主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
交通 8份文件引用(2015–2022) 软件作者: Udupa,A.、Raghavan,A.、Deshmukh,J.V.、Mador-Haim,S.、Martin,M.M.、Alur,R。 相关软件: CVC4;z3;简化… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
自动校对 7份文件引用(2015–2023) 软件作者: Tschannen,J。;加利福尼亚州福利亚;诺迪奥,M。;北卡罗来纳州波里卡波娃。 相关软件: 达夫尼;VCC;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
贝勒罗芬 8份文件引用(2017–2023) 软件作者: Nathan Fulton;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽 相关软件: 凯伊迈拉X;凯伊迈拉;ModelPlex… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
科尔曼 8份文件引用(2019–2023) 软件作者: J.S.Balakrishnan;J.Tuitman(托特曼) 相关软件: 岩浆;QCI;SageMath… 主要字段: 数论(11-XX);代数几何(14-XX);复变量函数(30-XX)…
电子伏特 6篇文献引用(2001–2021) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;马德斯大坝;托马斯艺术;根纳季·丘古诺夫 相关软件: 埃尔朗;伊莎贝尔;Coq… 主要字段: 计算机科学(68-XX)
海斯特 7份文件引用(2015–2019) 软件作者: Stanley Bak、Sergiy Bogomolov、Taylor T.Johnson 相关软件: SpaceEx;CORA;C2e2… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);系统理论;控制(93-XX)
解释 8份文件引用(1997–2021) 软件作者: 加尔·拉里尔、马蒂亚斯·阿古德、贝特朗·珍妮特 相关软件: 停机坪;ASTREE公司;YOGI… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
萨瑟 7份文件引用(1996–2010) 软件作者: S.M.Omohundro、C.-C.Lim、J.Bilmes、, 相关软件: 埃菲尔;红宝石;回路… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
TiML公司 8份文件引用(2018–2022) 软件作者: Wang,P.,Wang,D.,Chlipala,A。 相关软件: TcT;z3;分离逻辑… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿里加托.jl 7份文件引用(2018年-2023年) 软件作者: 安德烈亚斯·休门伯格(Andreas Humenberger);马克西米利安·亚罗斯切克;科瓦茨,劳拉 相关软件: 鳄鱼;SymPy;z3… 主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);计算机科学(68-XX)
Exshall公司 7份文件引用(1997–2022) 软件作者: I.M.Navon;J.余 相关软件: DDDAS;L-BFGS;TAF… 主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…
VACID-0型 7份文件引用(2011–2021) 软件作者: 莱诺,K.R.M.,莫斯卡尔,M。 相关软件: 达夫尼;布吉;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VeriFlow公司 7份文件引用(2016–2022) 软件作者: A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件: NetKAT;食蚁兽;VeriCon… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
安排 6篇文献引用(2019–2022) 软件作者: Elisa Palezzato;米歇尔·托里埃利 相关软件: CoCoALib;可可 主要字段: 组合数学(05-XX);交换代数(13-XX);群论与推广(20-XX)…
猫科动物 6篇文献引用(1989–2005) 软件作者: R.G.Cowell;F.J.赖特 相关软件: 单一;麦考利2;横向… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);整体分析,流形分析(58-XX)…
代码三 5份文件引用(2014–2023) 软件作者: 克里斯滕森,拉尔斯·温特;奥纳州Veliche 相关软件: 麦考利2;TorAlgebra;康威多项式 主要字段: 组合数学(05-XX);交换代数(13-XX)
dCAQE公司 6篇文献引用(2019–2022) 软件作者: Tentrup,Leander;马库斯·拉贝。 相关软件: HQPre;iProver;CAQE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
假马甲 6篇文献引用(2017–2021) 软件作者: 本杰明·利诺维茨;马修·斯托弗(Matthew Stover);没事,约翰 相关软件: github;岩浆 主要字段: 数论(11-XX);代数几何(14-XX);群论与推广(20-XX)…
HyLAA公司 6篇文献引用(2017–2023) 软件作者: 斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉 相关软件: CORA;SpaceEx;流量*… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统理论;控制(93-XX)
四次_构造 6篇文献引用(2011–2021) 软件作者: R.Lercier、C.Ritzenthaler、J.Sijsling 相关软件: 岩浆;曲线重建;GitHub… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
TPLib公司 6篇文献引用(2011年至2017年) 软件作者: 十、阿拉米吉恩 相关软件: 多品牌;热带.lib;TropLi… 主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)…
食蚁兽 5份文件引用(2013–2022) 软件作者: Mai,H.、Khurshid,A.、Agarwal,R.、Caesar,M.、Godfrey,P.、King,S.T。 相关软件: NetKAT;VeriFlow;VeriCon… 主要字段: 计算机科学(68-XX)
查理 3份文件引用(2015–2018) 软件作者: 莫尼卡·海纳;马丁·施瓦里克;简·蒂埃里·韦格纳 相关软件: 清爽;玛丽;可视化DSD… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
gmssing.lib文件 5份文件引用(2005–2023) 软件作者: 马蒂亚斯·舒尔泽 相关软件: 单一;mondromy.lib;Kan… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)
图6Java 5份文件引用(2019–2023) 软件作者: 穆罕默德·盖布勒;Ali Kanso;德拉甘·斯特瓦诺维奇 相关软件: 鹦鹉螺;踪迹;蓝色J… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);生物学和其他自然科学(92-XX)
古斯塔夫 4份文件引用(1990–2018) 软件作者: I.M.Navon;R.de Villiers先生 相关软件: 算法500;FATODE;F2PY… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
爱马仕 5份文件引用(2021–2023) 软件作者: 王锐;赵润东;Emily Ribando-Gros;陈家辉;童一英;魏国伟 相关软件: 拓扑网;古迪;AGL评分… 主要字段: 组合数学(05-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
HyDe公司 4份文件引用(2018年-2023年) 软件作者: Paul D.Blischak。;朱莉娅·奇夫曼(Julia Chifman);安德烈亚·沃尔夫(Andrea D.Wolfe)。;劳拉·库巴特科(Laura S.Kubatko)。 相关软件: 阿尔法;蟒蛇;MSCquartets… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);运筹学,数学编程(90-XX)…
MARCO公司 5份文件引用(2007–2018) 软件作者: 伯曼,春天;阿尔达姆·哈尔斯;维杰·库马尔 相关软件: 高科技;PHAVer公司;流量*… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);变形固体力学(74-XX)…
一个最优系统 5份文件引用(2017–2023) 软件作者: 张和林;Han,钟;陈勇 相关软件: ONEOptimal;枫树;SymboLie… 主要字段: 非结合环与代数(17-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
德克萨斯州 5份文件引用(2021年至2022年) 软件作者: C.Lemieux、D.Park、I.Beschatnikh 相关软件: PPTLMiner;S-TaLiRo;Daikon… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)
VeriCon公司 5份文件引用(2014–2021) 软件作者: Ball,T.、Bjorner,N.、Gember,A.、Itzhaky,S.、Karbyshev,A.、Sagiv,M.、Schapira,M.和Valadarsky,A。 相关软件: NetKAT;食蚁兽;Kuai… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AODV公司 4份文件引用(2014–2016) 软件作者: 蒂莫西·布鲁克;彼得·霍夫纳 相关软件: HOL/SPIN;伊莎贝尔/马戏团;Isabelle/HOL… 主要字段: 计算机科学(68-XX)