Expokit公司 209篇文献引用(1998–2024) 软件作者： 罗杰·西杰。 相关软件： 算法919；菲姆；MATLAB扩展… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： 约翰·V·古塔格。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论和推广（20-XX）…
AGG公司 引用于71份文件(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
JPAX公司 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈弗伦德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PLT兑换 25篇文献引用(2009–2022) 软件作者： 费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： Coq；K校准仪；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
D爪 在24份文件中引用(2014–2023) 软件作者： 大卫·L·乔治。；理查德·艾弗森。 相关软件： HE-E1GODF；GEOCLAW公司；PVM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
科奎利科特 22篇文献引用(2015–2024) 软件作者： 西尔维·博尔多；凯瑟琳·勒雷（Catherine Lelay）；纪尧姆·梅尔金德 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；常微分方程（34-XX）…
SE同步 21篇文献引用(2018–2023) 软件作者： David M.Rosen、Luca Carlone、Afonso S.Bandeira、John J.Leonard 相关软件： SDPLR；SDPT3；Manopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
XTOR公司 21篇文献引用(1996–2022) 软件作者： 吕特延斯（Lütjens），辛里奇（Hinrich）；让-弗朗索瓦·卢西亚尼 相关软件： 奶酪；XTOR-2F；ECOM… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
信号-3L 15篇文献引用(2009–2020) 软件作者： Shen，H.B。；K.C.周。 相关软件： 信号-CF；细胞定位；膜型-2L… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
FRSDE公司 15篇文献引用(2008–2016) 软件作者： 邓兆红；福莱钟；王世通 相关软件： UCI毫升；LIBSVM；KernSmooth… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MFIX-DEM公司 14篇文献引用(2015–2022) 软件作者： 拉胡尔·加尔格；珍妮·加尔文；李廷文；斯里坎斯·潘纳拉 相关软件： OpenFOAM；车灯；亮点… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
H-变形 11份文件引用(2000–2022) 软件作者： 史蒂文·欧文。；苏尼尔·塞加尔 相关软件： Q-形态；立方体盖；LBIE… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
预真空 10篇文献引用(2018–2019) 软件作者： 宋江宁；李富毅；武本和弘；哈法里（Gholamreza Haffari）；Akutsu、Tatsuya；周国臣；杰弗里·韦伯。 相关软件： iDNA6mA-PseKNC；iRNA-PseColl；pLoc-mAnimal… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
JViews公司 8份文件引用(2002–2021) 软件作者： 国际商用机器公司 相关软件： FDR2；Z；CVC4SY… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
M4GB 8份文件引用(2017–2023) 软件作者： Makarim，Rusydi H。；马克·史蒂文斯 相关软件： MQ挑战；GeMSS；FGb… 主要字段： 数论（11-XX）；交换代数（13-XX）；数值分析（65-XX）…
TAJ公司 7份文件引用(2013–2021) 软件作者： Tripp，O.、Pistoia，M.、Fink，S.J.、Sridharan，M.和Weisman，O。 相关软件： FlowDroid公司；F4F；Dytan… 主要字段： 计算机科学（68-XX）
mkbTT公司 7份文件引用(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；栗原、Masahito 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论和推广（20-XX）…
ReachNN公司 7份文件引用(2021–2022) 软件作者： 黄超、范嘉萌、李文超、陈欣、朱琦 相关软件： Reluplex；流量*；SpaceEx… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
分体式填料 7份文件引用(2017–2023) 软件作者： 塞巴斯蒂安·莫尔 相关软件： 开普勒98；SageMath；肥胖症 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
模糊FTA 6篇文献引用(2006–2018) 软件作者： 安东尼奥·吉马尔ẽ锿；尼尔森F.F.埃贝肯 相关软件： Radyban；准备/套件；MOCUS… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
MapSplice（贴图拼接） 6篇文献引用(2016–2019) 软件作者： 王、达珊·辛格、郑曾、斯蒂芬·科尔曼、黄燕、格列布·萨维奇、夏平贺、彼得·米茨科夫斯基、萨拉·格里姆、查尔斯·佩罗、詹姆斯·麦克劳德、德里克·蒋、杨·普林斯、刘进泽 相关软件： RSEM；STAR；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
钠25 6篇文献引用(2006–2018) 软件作者： 达里奥·比尼（Dario A.Bini）。；安娜·马可 相关软件： mctoolbox；rootsb；MultRoot… 主要字段： 交换代数（13-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
比克帕姆 5份文件引用(2017–2022) 软件作者： 亨利克斯，R；南卡罗来纳州马德拉 相关软件： Bsig；BicSPAM；比卡姆… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
材质端口3D 2份文件引用(2019–2023) 软件作者： Angel Chang、Angela Dai、Thomas Funkhouser、Maciej Halber、Matthias Nießner、Manolis Savva、Shuran Song、Andy Zeng、Yinda Zhang 相关软件： LSUN；亚当；简介VAE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
BioStream公司 2份文件引用(2008–2020) 软件作者： Thies，William；约翰·保罗·乌尔班斯基（John Paul Urbanski）；托德·托德·托森（Todd Thorsen）；萨曼·阿马拉辛格 相关软件： COPASI；波特车轮；雏菊 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
深度（DeepGauge） 3份文件引用(2020–2021) 软件作者： 马磊（Lei Ma）、费利克斯（Felix Juefei-Xu）、张福源（Fuyuan Zhang）、孙继源（Jiyuan Sun）、薛敏慧（Minhui Xue）、李波（Bo Li）、陈春阳（Chunyang Chen）、苏婷（Ting Su）、李丽（Li Li 相关软件： DeepXlore；TensorFuzz；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
GShard公司 2份文件引用(2021) 软件作者： Dmitry Lepikhin、HyoukJoong Lee、Yuanchong Xu、Dehao Chen、Orhan Firat、Yanping Huang、Maxim Krikun、Noam Shazeer、Zhifeng Chen 相关软件： 亚当；BERT；GPT-3… 主要字段： 计算机科学（68-XX）
叶子 2份文件引用(2022–2023) 软件作者： 塞巴斯蒂安·卡尔达斯（Sebastian Caldas）、赛·梅赫·卡尔蒂克·杜杜（Sai Meher Karthik Duddu）、彼得·吴（Peter Wu 相关软件： 脚手架；EMNIST公司；MNIST… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
电源 3份文件引用(2018–2023) 软件作者： Pierre Lafaye de Michoaux，越南Tran，阿兰·德斯加涅 相关软件： R；nortest；VGAM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
PSPIKE公司+ 4份文件引用(2017–2019) 软件作者： 姚朱；艾哈迈德·萨米赫 相关软件： PSPIKE公司；稀疏矩阵；CSparse… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
PyFrac公司 4份文件引用(2020–2023) 软件作者： 哈西卜·齐亚；Brice Lecampion公司 相关软件： 数字Py；SciPy；蟒蛇 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
SeaPearl公司 4份文件引用(2021–2023) 软件作者： 费利克斯Chalumeau；伊兰·库隆；瓶盖，昆廷；卢梭，路易斯·马汀 相关软件： NeuroSAT；AlphaGo；亚当… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SpeeDP公司 4份文件引用(2012–2016) 软件作者： 路易吉·格里波；劳拉·帕拉吉；毛罗·皮亚琴蒂尼；维罗妮卡·皮夏利（Veronica Piccialli）；乔瓦尼·里纳尔迪 相关软件： Biq Mac；COL；tttplot… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
Enrichr公司 2份文件引用（2015年至2016年） 软件作者： E.Y.Chen、C.M.Tan、Y.Kou、Q.Duan、Z.Wang、G.V.Meirelles、N.R.Clark、A.Ma'ayan、， 相关软件： 生物导体；R；COHCAP… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
MBT优化器 3份文件引用(2021–2023) 软件作者： Tuyen Trung Truong、Tuan Hang Nguyen 相关软件： github；蟒蛇；Matplotlib… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
2017年宠物展 3份文件引用(2009–2023) 软件作者： 路易斯·帕蒂诺；塔希尔·纳瓦兹；汤姆·凯恩；詹姆斯·费里曼 相关软件： 震波；MOT16；HON4D… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
SC图表 2份文件引用(2015–2018) 软件作者： R.von Hanxleden等人。 相关软件： 酯类；卢斯特；VerCors… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SL2SX系列 3份文件引用(2019–2023) 软件作者： 斯特凡诺·米诺波利；戈兰·弗雷斯 相关软件： Simulink；Isabelle/HOL；Matlab… 主要字段： 计算机科学（68-XX）
ConvAn公司 2份文件引用(2014–2019) 软件作者： Kostromins，A。；莫兹加，I。；E.斯塔利德赞斯。 相关软件： GGPLAB；波特车轮；SpaceScanner… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
成本地图 2份文件引用(2019–2022) 软件作者： Brendan Hoover、Richard S.Middleton、Sean Yaw 相关软件： SimCCS；github 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
EIA-全国保卫人民大会 2份文件引用(2021–2022) 软件作者： 贾瓦德·雷扎伊；Zare-Mirakabad，Fatemeh；MirHassani，Seyed Ali；赛义德·阿米尔·马拉西 相关软件： 稀疏矩阵 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ExSTraCS公司 1份文件引用（2020年） 软件作者： Urbanowicz，R.J。；J.H.摩尔。 相关软件： Scikit；配饰；UCI-ml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
FluidDyn公司 1份文件引用(2019) 软件作者： Pierre Augier、Ashwin Vishnu Mohanan、Cyrille Bonamy 相关软件： FluidSim；流体FFT；蟒蛇 主要字段： 流体力学（76-XX）
HellaSwag公司 在0个文档中引用 软件作者： 罗文·泽勒斯（Rowan Zellers）、阿里·霍尔兹曼（Ari Holtzman）、约纳坦·比斯克（Yonatan Bisk）、阿里·阿里·法哈迪（Ali Farhadi）、叶金·崔（Yejin Choi） 相关软件： CoQA；BLEU；RoBERTa… 主要字段： 数学逻辑与基础（03-XX）
水螅 1份文件引用(2016) 软件作者： Alor-Hernandez，Giner；阿尔贝托·阿吉拉尔·拉塞雷；尤利西斯·华雷斯-马丁内斯；鲁本·波萨达·戈梅兹（Ruben Posada-Gomez）；科特斯·罗尔斯（Cortes-Robles），吉勒莫（Guillermo）；马里奥·阿尔贝托（Mario Alberto）加西亚·马丁内斯（Garcia-Martinez）；胡安·米格尔（Juan Miguel），戈梅斯·贝比斯（Gomez-Berbis）；阿历杭德罗·罗德里格斯·冈萨雷斯 相关软件： Spalart-Allmaras；特里利诺斯；PETSc… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
微型结构Py 1份文件引用（2020年） 软件作者： Kenneth A.Hart。；朱利安·里莫利。 相关软件： Voro++；苔丝；梦想3D… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
薄荷 2份文件引用(2013–2023) 软件作者： 李，罗马·N。；安德烈·波梅兰斯基。 相关软件： TiGERS；格凡；麦考利2… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；量子理论（81-XX）
米QTB 2份文件引用(2021–2022) 软件作者： 班蒂什，B.I。；Chernyavskiy，A.Yu。；于博格达诺夫。一、。 相关软件： pyQTB；蟒蛇；GitHub… 主要字段： 量子理论（81-XX）
MULTICOM公司 1份文件引用（2014年） 软件作者： 郑旺；杰西·艾克霍尔特；程建林 相关软件： 爆炸；FT-COMAR；A索引… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
波普特雷 2份文件引用(2018–2020) 软件作者： 陶龙；韦伯，卡罗琳E。；Arai，Kensuke；尤里·伊登（Uri T.Eden）。 相关软件： github；空间；Matlab… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
失调症前期 1份文件引用(2016) 软件作者： Xin Deng、Jesse Eickholt、Jianlin Cheng 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
pyQTB公司 2份文件引用(2021–2022) 软件作者： 班蒂什，B.I。；Chernyavskiy，A.Yu。；于博格达诺夫。一、。 相关软件： mQTB；蟒蛇；GitHub… 主要字段： 量子理论（81-XX）
阿莱提亚 1份文件引用（2020年） 软件作者： Tripp，O.，Guarnieri，S.，Pistoia，M.，Aravkin，A。 相关软件： 戴坦；TAJ公司；像素… 主要字段： 计算机科学（68-XX）
AlmafluidaNSP系统 1份文件引用(2023) 软件作者： 神父，Pietro G。；马里奥·特里安特 相关软件： 毕尔巴鄂结晶服务器；数学软件 主要字段： 偏微分方程（35-XX）；全局分析，歧管分析（58-XX）；计算机科学（68-XX）…
自动流动 1份文件引用(2022) 软件作者： 孙德庆、丹尼尔·弗拉西奇、查尔斯·赫尔曼、瓦伦·贾帕尼、迈克尔·克莱宁、张惠文、拉明·扎比、威廉·弗里曼、策·刘 相关软件： 布里斯克；效率检测；面2面… 主要字段： 计算机科学（68-XX）
横梁 1份文件引用(2022) 软件作者： Das，S.、Cashman，D.、Chang，R.、Endert，A。 相关软件： MurTree；github；ORL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CAD2RL公司 在0个文档中引用 软件作者： 谢尔盖·莱文（Sergey Levine），费雷什·萨德吉（Fereshteh Sadeghi） 相关软件： NDDS；Stillleben；零MQ… 主要字段： –
CaliBayes公司 1份文件引用(2017) 软件作者： 陈，Y。；Lawless，C。；Gillespie，C.S。；吴杰。；男孩，R.J。；威尔金森，D.J。 相关软件： 平均值；斯托奇派；工具箱… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
CoMinED公司 1份文件引用(2021) 软件作者： 黄超凡；约瑟夫·V·罗山；道格拉斯·M·雷。 相关软件： 左旋半胱氨酸；随机工具箱；开采… 主要字段： 统计学（62-XX）；数值分析（65-XX）
DaDRA公司 在0个文档中引用 软件作者： Jared Mejia、Alex Devonport、Murat Arcak 相关软件： 阿里阿德涅；Isabelle/HOL；NLTOOLBOX… 主要字段： –
DataFAN（数据风扇） 1份文件引用(2002) 软件作者： Czarnecki，Krzysztof；Michael Himsolt；Ernst Richter；Vieweg，福尔克；阿尔弗雷德·罗斯科普夫 相关软件： 阿达95 主要字段： 计算机科学（68-XX）
DeepHunter公司 在0个文档中引用 软件作者： 谢晓飞、马磊、费利克斯·觉菲-苏、陈洪旭、薛敏辉、李波、杨柳、赵建军、尹建雄、西蒙-西 相关软件： 深度规；深度突变；Scikit… 主要字段： –
3DIGARS公司 1份文件引用(2016) 软件作者： 阿夫德斯的米什拉；伊克巴尔，苏梅亚；塔姆吉杜尔·霍克 相关软件： iDNA-甲基；邻硝基-Tyr；iCTX-Type… 主要字段： 生物学和其他自然科学（92-XX）
DyGloSA公司 1份文件引用（2020年） 软件作者： Baumuratova，T。；Dobre，S。；巴斯托涅，T。；T·绍特。 相关软件： GUI-HDMR；SALib公司；CRAN… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
特征工具 在0个文档中引用 软件作者： 杰里·奥西（Jerey S.Oishi）、基顿·J·伯恩斯（Keaton J.Burns）、S.E.Clark、埃文·安德斯（Evan H.Anders）、本杰明·布朗（Benjamin P.Brown）、杰弗里·瓦西尔（Geoffrey M.Vasil）、丹尼尔 相关软件： 伪光谱.jl；艾格托尔；Chebfun… 主要字段： –
指南2 1份文件引用(2017) 软件作者： Sela，I.、Ashkenazy，H.、Katoh，K.、Pupko，T。 相关软件： 罢工；蛋白石；LEON… 主要字段： 生物学和其他自然科学（92-XX）
HIT公司 1份文件引用(2008) 软件作者： Anne E.Counterman Burba、Ursula Lehnert、Eric Z.Yu、Mark Gerstein 相关软件： 插座 主要字段： 生物学和其他自然科学（92-XX）
IGSTK公司 在0个文档中引用 软件作者： Enquobahrie A、Cheng P、Gary K、Ibáñez L、Gobbi D、Lindseth F、Yaniv Z、Aylward S、Jomier J、Cleary K 相关软件： R；开发工具；oro.nifti… 主要字段： –
尼比龙 1份文件引用(2008) 软件作者： Milovanovi'c，Milov s；罗杰·费雷尔（Roger Ferrer）；弗拉基米尔·加季诺夫；奥斯曼·S·安萨尔。；阿德里安·克里斯塔尔（Adrian Cristal）；爱德华·艾瓜德；马特奥·瓦莱罗 相关软件： 要塞 主要字段： 计算机科学（68-XX）
NeRV公司 1份文件引用(2022) 软件作者： Pratul P.Srinivasan、Boyang Deng、Xiuming Zhang、Matthew Tancik、Ben Mildenhall、Jonathan T.Barron 相关软件： 布里斯克；效率检测；面2面… 主要字段： 计算机科学（68-XX）
OCTAVE公司 1份文件引用（2013年） 软件作者： 克里斯托弗·艾伯特斯（Christopher J.Alberts）、奥黛丽·多罗菲（Audrey J.Dorofee） 相关软件： 风暴室；MAGERIT公司；CRAMM… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
帕拉丁RM 1份文件引用(2006) 软件作者： 维姆马扬克；娜塔莎·什穆尼斯（Natasha Shmunis）；马克·奥斯汀 相关软件： 杰西；DAMLJessKB；Protege公司 主要字段： 计算机科学（68-XX）
卡塔尔科技大学 1份文件引用(2022) 软件作者： Zohra Smaili，F.，Tian，S.，Roy，A.，Alazmi，M.，Arold，S.T.，Mukherjee，S.等人。 相关软件： 反应组；Tensor2传感器；协同因子… 主要字段： 生物学和其他自然科学（92-XX）
比赛 1份文件引用（2010年） 软件作者： 罗珊·拉格尔（Roshan Ragel）；安布罗斯，安吉洛；Jorgen Peddersen；斯里·帕拉梅斯瓦兰 相关软件： – 主要字段： 计算机科学（68-XX）