JML公司 161份文件引用(2000–2023) 软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司 相关软件: 规范#;埃菲尔;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
Java PathFinder 95篇文献引用(2000–2023) 软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
卡拉卡拉 79份文件引用(2004–2022) 软件作者: 马奇,C。;Paulin-Mohring,C。;X·乌尔班。 相关软件: Why3;Caduceus;JML… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
Frama-C公司 43篇文献引用(2009–2023) 软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件: Coq;Why3;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
莫塞尔 引用于37份文件(2003年至2021年) 软件作者: Fair Isaac公司;科伦巴尼·Y、海普克·S。 相关软件: XPRESS;AMPL;游戏… 主要字段: 总体主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…
JUnit公司 16篇文献引用(2002–2022) 软件作者: 尹锡悦;Gary T.Leavens。 相关软件: JML;埃菲尔;ESC/Java… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
变身 23篇文献引用(2012–2023) 软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔 相关软件: AGG;沟槽;GrGen… 主要字段: –
毛坯 15篇文献引用(2008–2022) 软件作者: Andrew McCallum等人。 相关软件: 威卡;C4.5;LIBSVM… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
测试时代 16篇文献引用(2002–2020) 软件作者: 马里诺夫,D;库尔希德,南 相关软件: 科拉特;Symstra公司;TACO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
丛林 6篇文献引用(2008–2020) 软件作者: O'Madadhain,J.,Fisher,D.,White,S.,Boey,Y。 相关软件: 格菲;Mathematica;快照… 主要字段: –
丽贝卡 8份文件引用(2010–2022) 软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔 相关软件: Uppaal;甲酚;定时丽贝卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
血红蛋白 2份文件引用(2013–2014) 软件作者: 达美III H 相关软件: R;JAGS;WinBUGS… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)
马塔 引用于3份文件(2012–2020) 软件作者: StataCorp公司 相关软件: Stata公司;培根;mixlogit… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
OptimJ公司 4份文件引用(2012–2017) 软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。 相关软件: 蟒蛇;开放选择;APLEpy… 主要字段: (90-01-XX);(90-04-XX);(90C90-XX)…
jFuzzyIBA转换器 4份文件引用(2015–2017) 软件作者: 米洛舍维奇,P。;Petrović,B。;Radojević,D。;科瓦切维奇,D。 相关软件: UCI毫升;ANFIS公司 主要字段: 数学逻辑与基础(03-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
jMocha公司 4份文件引用(2008年至2021年) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;亨辛格,T。;托马斯。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。 相关软件: 摩卡;MCMAS;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
APSEE公司 引用于3份文件(2002–2010) 软件作者: 卡拉·A·利马·里斯。;罗德里戈,基特斯·里斯;马塞洛·M·德·阿布鲁(Marcelo M.de Abreu)。;赫里贝特·施勒贝(Heribert Schlebbe);Nunes,Daltro J。 相关软件: – 主要字段: 计算机科学(68-XX)
JML单位 引用于3份文件(2011–2022) 软件作者: 丹尼尔·齐默尔曼(Daniel M.Zimmerman)。;林克什·纳格莫蒂 相关软件: OpenJML;凯伊;JUnit… 主要字段: 计算机科学(68-XX)
Netsim公司 2份文件引用(1999–2001) 软件作者: 泰米·维思(Tamie L.Veith)。;约翰·科布扎(John E.Kobza)。;C.Patrick Koelling 相关软件: C4.5;VCNet;边缘R… 主要字段: 统计学(62-XX);计算机科学(68-XX)
阿罗姆 2份文件引用(2001–2002) 软件作者: 米歇尔·佩奇(Michel Page);Gensel,J'er^ome;卡波尼,C'ecile;克利斯朵夫·布鲁利;菲利普·基诺德 相关软件: – 主要字段: 计算机科学(68-XX)
生物7 在0个文档中引用 软件作者: 马塞尔·奥斯滕菲尔德(Marcel Austenfeld),沃尔夫拉姆·贝施拉格(Wolfram Beyschlag) 相关软件: R;谷胱甘肽;西梅科… 主要字段: –
组装 1份文件引用(2015) 软件作者: Jossinet F、Ludwig TE、Westhof E 相关软件: ARB;EMBOSS;最小值… 主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)
爪哇岛 在0个文档中引用 软件作者: 纳尔逊·塔瓦雷斯·德索萨(Nelson Tavares de Sousa)、威廉·哈塞尔布林(Wilhelm Hasselbring) 相关软件: GNMT;变压器;胶水… 主要字段: –
J衍射 1份文件引用(2017) 软件作者: Piedrahita-Quintro,巴勃罗;卡洛斯·特鲁希略;豪尔赫·加西亚-苏尔基亚 相关软件: CUDA公司 主要字段: (78A45-XX);(65Y05-XX);(65Y15-XX)…