剪影 248篇文献引用(1987–2023) 软件作者： 彼得·卢梭。 相关软件： 集群发现；UCI-ml；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
英国船级社 237篇文献引用(2008–2023) 软件作者： 廖世军 相关软件： Matlab；Mathematica；bvp4c… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： VAMPIRE公司；TPTP；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
世界卫生组织 59篇文献引用(2003–2024) 软件作者： JoséA.Carrillo。；艾琳·甘巴（Irene M.Gamba）。；阿曼多·马约拉纳；舒志旺 相关软件： HE-E1GODF；Vador；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CVC公司 45篇文献引用(2002–2021) 软件作者： 阿伦·斯塔姆（Aaron Stump）；克拉克·巴雷特（Clark W.Barrett）。；大卫·L·迪尔。 相关软件： CVC-Lite；简化；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
PG解算器 41篇文献引用(2009–2023) 软件作者： 奥利弗·弗里德曼；马丁·兰格 相关软件： Oink；条纹；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
丹宁色 31份文件引用(1999–2022) 软件作者： 胡塔拉，伊卡；卡卡尼恩，朱哈；Porkka、Pasi；汉努·托沃宁 相关软件： FastFD；UCI-ml；MS SQL Server… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；计算机科学（68-XX）
贝塔 22篇文献引用(1985–2016) 软件作者： Bent Bruun Kristensen、Ole Lehrmann Madsen、Birger Möller-Pedersen、Kristen Nygaard 相关软件： 艾菲尔铁塔；Simula 67；Smalltalk… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
基瓦-4 引用于27份文件(2006–2020) 软件作者： Song-Charng Kong博士、Xiuling Wang博士、Darrell W.Pepper博士、Juan Heinrich博士 相关软件： 基瓦-2；CHEMKIN公司；OpenFOAM… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
WINSTEPS（胜利） 12份文件引用(2005–2020) 软件作者： 网址：www.winsteps.com 相关软件： R；ConQuest；RUMM… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
NP旋量 21篇文献引用(1991–2023) 软件作者： Chu，K.C。；捷克共和国。；R.G.麦克莱纳汉。 相关软件： NP；枫树；xTensor… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；量子理论（81-XX）…
TVOC公司 20篇文献引用(2005–2022) 软件作者： 克拉克·巴雷特；方毅；本杰明·戈德伯格（Benjamin Goldberg）；胡颖；阿米尔·普努利；祖克，莱诺 相关软件： CVT；辅酶q；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
转换PDE-UQ 20篇文献引用(2019–2024) 软件作者： 韦诺维奇，N。；拉马尼，K。；林，G。 相关软件： 亚当；DeepONet；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IPSSIS公司 18篇文献引用(2011–2023) 软件作者： 西多纳斯（Xidonas）、帕纳吉奥蒂斯（Panagiotis）；乔治·马夫罗塔斯；佐普尼迪斯，君士坦丁；约翰·帕萨拉斯 相关软件： 电气；GTM；NBI… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SuSy 2号机组 19份文件引用(1997–2022) 软件作者： 齐莫威特·波波维茨 相关软件： 伪；减少；PDF工具… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
DCVALID公司 16篇文献引用(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PDE贝尔II 15篇文献引用(2014–2023) 软件作者： Miao，Q.，Wang，Y.H.，Chen，Y.，Yang，Y。 相关软件： 枫树；宝石；希罗塔。最大值… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
表格转换 13份文件引用(2010–2024) 软件作者： 孔戴，D。；Esposito，E。；Paternoster，B。；Ixaru，L.集团。 相关软件： LILIX公司；罗德斯；SLEIGN… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；积分方程（45-XX）…
里昂 12份文件引用(2014–2022) 软件作者： 雷吉斯·布兰科；维克多·昆卡（Viktor Kuncak）；艾蒂安·克劳斯；菲利普·苏特 相关软件： CVC4；达夫尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
ADSNARK公司 12份文件引用(2016–2023) 软件作者： Backes，M.、Barbosa，M.，Fiore，D.、Reischuk，R.M。 相关软件： 皮诺奇；C的SNARK；Geppetto… 主要字段： 数论（11-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PICOS公司 12份文件引用(2013–2023) 软件作者： 纪尧姆·萨格诺；邮政编码 相关软件： YALMIP；SeDuMi公司；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ExaGeoStat公司 8份文件引用(2018–2023) 软件作者： 阿卜杜拉，S。；Ltaief，H。；孙，Y。；Genton，M.G。；凯斯，D.E。 相关软件： R；FRK公司；ExaGeoStatR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
fclust公司 9份文件引用(2019–2022) 软件作者： 保罗·佐丹尼（Paolo Giordani）、玛丽亚·布里吉达·费拉罗（Maria Brigida Ferraro） 相关软件： R；fc；fpc… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
IDLVALID公司 10篇文献引用（2001年至2013年） 软件作者： 帕里托什·K·潘迪亚。 相关软件： DCVALID；Uppaal；克罗诺斯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
瓦尔梅特 8份文件引用(2001–2021) 软件作者： Gerig，Guido；Jomier，Matthieu；米兰达·查科斯 相关软件： 批处理生成器；自由冲浪者；HDF5… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EVC公司 8份文件引用（2001年至2012年） 软件作者： 米罗斯拉夫·韦列夫（Miroslav N.Velev）。；Randal E.布莱恩特。 相关软件： Velev SAT基准；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
fptd近似值 8份文件引用(2008–2023) 软件作者： 罗曼·罗曼，P。；塞拉诺·佩雷斯，J.J。；托雷斯-鲁伊斯，F。 相关软件： sde；R；pchip… 主要字段： 积分方程（45-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
扎普 6篇文献引用(2005–2008) 软件作者： 托马斯·鲍尔、舒文杜·拉希里和穆苏瓦蒂夫人 相关软件： ESC/Java；规范#；简单… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
BAT公司 6篇文献引用(2009–2018) 软件作者： 考德威尔，艾伦；丹尼尔·科拉尔（Daniel Kollar）；凯文·克罗宁格 相关软件： HEPfit；图灵；古巴… 主要字段： 统计学（62-XX）；数值分析（65-XX）；量子理论（81-XX）
CoqMT公司 7份文件引用(2010–2020) 软件作者： Pierre-Yves支柱 相关软件： 辅酶q；CoqMTU；dedukti… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
精灵 7份文件引用(2011–2023) 软件作者： C.Andreopoulos等人。， 相关软件： 贝尔二世；PYTHIA8；CRMC… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
NMEEF-SD公司 6篇文献引用(2013–2022) 软件作者： 卡莫纳，C.J。；González，P。；德尔·耶稣，M.J。；F.埃雷拉。 相关软件： 阿普里奥里；克里姆；MULAN… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
ADMP公司 6篇文献引用(2013–2019) 软件作者： 林，叶芝；刘银平；李志斌 相关软件： 枫树；ADMP；DFOC… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
樱桃 6篇文献引用(2015–2023) 软件作者： Jelle Goeman、Aldo Solari、Rosa Meijer 相关软件： R；MetaboAnalyst；MBROLE… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
方差Gamma 6篇文献引用(2011–2022) 软件作者： 大卫·斯科特（David Scott）；克里斯汀·杨东 相关软件： R；ghyp；广义双曲线… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
高性能sr 5份文件引用(2004–2016) 软件作者： T.M.费尔。；H.H.H.霍米埃。 相关软件： Mathematica；枫树 主要字段： 序列、级数、可加性（40-XX）；近似和展开（41-XX）；数值分析（65-XX）…
预SPI 3份文件引用(2008–2019) 软件作者： D.S.Han、H.S.Kim、W.H.Jang、S.D.Lee、J.K.Suh 相关软件： InterPreTS；MCODE；生物网格… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
承诺 5份文件引用(1999–2022) 软件作者： Lee，Won Jun；Lee，Kun Chang先生 相关软件： Web-HIPRE；PETAPS公司；Visual Basic 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ACT-R公司 4份文件引用(2014–2020) 软件作者： 约翰·安德森（John R.Anderson）；丹尼尔·加尔（Daniel Gall）；托姆·吕维思 相关软件： 贝叶斯DA；坚果；CLARION… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ADMP公司 4份文件引用(2019–2022) 软件作者： 苏米特·古普塔；德文德拉·库马尔；贾格德夫·辛格 相关软件： 枫树；ADMP公司 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
AgsyHOL公司 4份文件引用（2013-2015） 软件作者： F.林布拉德。 相关软件： TPTP；尼特皮克；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
密集同步 4份文件引用(2021–2023) 软件作者： Yoneda，Ryosuke；津川Tatsukawa，Tsuyoshi；Teramae，Jun-nosuke公司 相关软件： Expokit公司；JuMP；GitHub… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
费恩游戏 4份文件引用(2020–2023) 软件作者： R.V.Harlander、S.Y.Klein、M.Lipp 相关软件： 阿克索德劳；QGRAF；剪切工具… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
GenClust公司 3份文件引用(2009–2021) 软件作者： 迪格苏，V。；Giancarlo，R。；Lo Bosco，G。；雷蒙迪，A。；D.斯卡特罗。 相关软件： 修拉；全球麻省理工学院；桅杆… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PedGenie公司 2份文件引用(2011–2015) 软件作者： Allen-Brady，K。；Wong，J。；新泽西州坎普。 相关软件： Eigenstrat；QRM；无相位… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
像素鹰 4份文件引用(2014–2022) 软件作者： Meier，L。；Tanskanen，P。；弗伦多费尔，F。；Pollefeys，M。 相关软件： MonoSLAM；github 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
PowerForms公司 3份文件引用(2000–2008) 软件作者： 布拉布兰德，克劳斯；M{\o}ller，安德斯；米克尔·里基；迈克尔·施瓦茨巴赫。 相关软件： 海滨；iTasks；BABEL… 主要字段： 计算机科学（68-XX）
9月/COP 3份文件引用(2010–2015) 软件作者： 伊拜·古鲁特萨加；阿尔比苏阿，伊涅阿基；奥拉茨·阿伯莱茨；何塞·马汀。；哈维尔·穆格尔扎；佩雷斯，杰苏斯·M·。；伊尼戈·佩罗纳 相关软件： 德斯波塔；聚类生成；NbClust… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
可控硅开关 4份文件引用(2007–2022) 软件作者： Takkouche B、Cardarso-Suárez C、Spiegelman D。 相关软件： glst；Stata公司；ADIFR公司 主要字段： 统计学（62-XX）
科吉托 3份文件引用(1997–1998) 软件作者： Michael Thuné；伊娃·莫斯伯格；彼得·奥尔森；Jarmo Rantakokko；克里斯特·奥伦德；库尔特·奥托 相关软件： ELEMD公司；扩散器；PETSc公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
驻极体III 2份文件引用(2021–2023) 软件作者： Ezbakhe，法廷；阿古斯蒂·佩雷斯·福盖特 相关软件： 确定性；苯解；DESDEO… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
格雷斯 2份文件引用(2006–2013) 软件作者： G.Belanger、F.Boudjema、J.Fujimoto、T.Ishikawa、T.Kaneko、K.Kato、Y.Shimizu 相关软件： SLHALib；循环工具；窗体计算… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
legOS系统 3份文件引用(2000–2008) 软件作者： Lone Halkjaer；凯伦·海维格；安娜·英格尔夫斯多蒂 相关软件： Uppaal；自旋蛋白；时间 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
百万拉德 2份文件引用(2012–2023) 软件作者： 肯尼思·诺布劳赫（Kenneth Knoblauch）；劳伦斯·马洛尼（Laurence T.Maloney）；J.N.杨 相关软件： 心理学；DifScal；R、 … 主要字段： 信息与通信理论，电路（94-XX）
ONEOptimal（最佳） 3份文件引用(2017–2023) 软件作者： 苗倩；胡晓瑞；陈勇 相关软件： 一个最优系统 主要字段： 拓扑群，李群（22-XX）；实函数（26-XX）；偏微分方程（35-XX）…
菲沃斯 2份文件引用(2016–2023) 软件作者： Joshua C.Denny、Marylyn D.Ritchie、Melissa A.Basford、Jill M.Pulley、Lisa Bastarache、Kristin Brown-Gentry、Deede Wang、Dan R.Masys、Dan M.Roden、Dan C.Crawford 相关软件： 樱桃 主要字段： 统计学（62-XX）
SELANSI公司 3份文件引用(2018–2024) 软件作者： 帕亚罗·M、奥特罗·穆拉斯I、瓦兹奎兹C、阿隆索AA 相关软件： – 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
ADHO公司 2份文件引用(2012–2021) 软件作者： 刘银平；廖世军；李志斌 相关软件： 枫树 主要字段： 代数拓扑（55-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
科尔哈普斯 2份文件引用(2014–2016) 软件作者： L.Tininii、P.Bertolazzi、A.Godi、G.Lancia 相关软件： RPOLY；BG-WalkSAT；MiniSat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
构造性证明FLP 2份文件引用(2016–2018) 软件作者： 本杰明·比斯平；鲍尔·达维德·布罗德曼；蒂姆·荣尼尼；克里斯蒂娜·里克曼；Seidler，Henning；安克·Stüber；阿诺·威廉·韦德纳；彼得斯（Kirstin Peters）；乌韦·内斯特曼 相关软件： 存档正式证据；铁人舰队；CVC4… 主要字段： 计算机科学（68-XX）
DDDLIB公司 2份文件引用（2002年-2023年） 软件作者： Jesper B.M\o ller。 相关软件： 存档正式证据；GitHub；OCaml… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DIVFRP公司 2份文件引用(2011–2022) 软件作者： 钟，C。；Miao，D。；王，R。；X·周。 相关软件： UCI-ml；Scikit；PRMLT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
EMDPLER公司 2份文件引用(2023) 软件作者： 辛格，N.P。；莫吉，T。 相关软件： CR1Dmod；DLMF；OWF… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；数值分析（65-XX）…
EMLCLLER公司 2份文件引用(2008–2010) 软件作者： N.P.辛格；托鲁·莫吉 相关软件： Mathematica；Matlab；算法858… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）；计算机科学（68-XX）
GRT公司 2份文件引用(2023) 软件作者： 甘斯特，凯文；安德烈亚斯·里德 相关软件： GitHub；HyBR；FAIR.m… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；积分变换，运算微积分（44-XX）…
心脏 2份文件引用(2010–2017) 软件作者： Inoue T.、Arimoto K。 相关软件： COSMAP公司 主要字段： 变分法与最优控制；优化（49-XX）；可变形固体力学（74-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
海森 2份文件引用(2020–2021) 软件作者： O.Bouissou、S.Mimram、A.Chapoutot 相关软件： SMT-LIB；解释；CORA… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
网络草图 2份文件引用（2010年至2012年） 软件作者： 阿泽州贝斯塔夫罗斯；阿萨夫·科福尔；笔记本电脑，Andrei；迈克尔·J·奥森。 相关软件： 伊莎贝尔；自旋蛋白；马蒂塔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
OUOUCIR公司 2份文件引用(2020–2023) 软件作者： Jhwueng、Dweeng-Chwuan 相关软件： DiffProc；GitHub；Treevo… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
多面体 2份文件引用(2017–2022) 软件作者： Jing、Rui-Juan；马克·莫雷诺·马扎 相关软件： 枫树；多品牌；cdd… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
RAT测试 2份文件引用(2021–2023) 软件作者： 毛里西奥·奥利瓦雷斯（Mauricio Olivares）、伊格纳西奥·萨米恩托·巴布里埃里（Ignacio Sarmiento-Babbieri） 相关软件： R；rdrobust；阿梅利亚 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SWIFT银行代码 2份文件引用(2012–2015) 软件作者： G.D’Avenio M.Grigioni G.Orefici R.Creti（G.达维尼奥·M·格里吉奥尼·G·奥雷菲西·克雷蒂） 相关软件： 青少年；BLAT；MEME… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SynthETIC公司 2份文件引用(2021–2022) 软件作者： 本杰明·阿文齐（Benjamin Avanzi）、格雷格·泰勒（Greg Taylor）、梅兰塔·王（Melantha Wang）、伯纳德·王（Bernard Wong） 相关软件： DCL；gbm；R、 … 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
TAFA公司 2份文件引用（2013年） 软件作者： 克里斯托夫·Röthlisberger 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
TIRNA 2份文件引用(2012–2015) 软件作者： 蒙塔塞利、索海拉；莫哈达姆·查卡里（Moghadam-Charkari），纳斯罗拉（Nasrollah）；法特梅·扎雷·米拉卡巴德 相关软件： RNAplex；PET折叠；机架（amp；P）… 主要字段： 生物学和其他自然科学（92-XX）
BDD输入Kt 1份文件引用（2013年） 软件作者： 拉杰夫·戈尔；汤姆森，吉米 相关软件： Imogen；fCube；BuDDy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）