斯莫德尔斯 231篇文献引用(1999–2022) 软件作者: 伊尔卡·尼梅尔;西蒙斯,P;托米·西尔贾宁 相关软件: 亚萨特;C模型;XSB… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
伊萨尔 155份文件引用(2000–2024) 软件作者: 马卡里乌斯·温泽尔 相关软件: 伊莎贝尔;伊莎贝尔·霍尔;密码… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
勒图尔 引用于40篇文献(1988–2022) 软件作者: 米努克斯,M。 相关软件: HgMUS公司;数据日志;JBool… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
2000年 36篇文献引用(2016–2023) 软件作者: 彼得·布罗克韦尔(Peter J.Brockwell)。;理查德·戴维斯(Richard A.Davis)。 相关软件: 其mr;astsa;tscount… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
幻灯片 27篇文献引用(2013–2023) 软件作者: Iosif,R.,Rogalewicz,A.,Vojnar,T。 相关软件: HIP;推断;小脚… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LPL软件 20篇文献引用(2000年-2023年) 软件作者: Dave Barker-Plummer、Jon Barwise、John Etchemendy;Albert Liu、Michael Murray、Emma Pease 相关软件: EPGY;减少;OTTER… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
三倍的 16篇文献引用(2002年至2015年) 软件作者: Michael Sintek;斯特凡·戴克 相关软件: SPARQL;烟雾;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
semprop公司 17篇文献引用(2002–2022) 软件作者: 莱茨,莱因霍尔德 相关软件: Quaffle;布洛克;QUBOS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
斯巴达克斯 14篇文献引用(2010–2021) 软件作者: 丹尼尔·戈兹曼(Daniel Götzmann);马克·卡明斯基;格特·斯莫尔卡 相关软件: HTab;FaCT++;InKreSAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
EAGLE公司 10篇文献引用(2015–2021) 软件作者: 亚历克西斯·图米;朱利安·古铁雷斯(Julian Gutierrez);迈克尔·伍尔德里奇 相关软件: 棱镜;PRISM-名称;MCMAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
HOList公司 10篇文献引用(2020–2023) 软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件: 谜;E定理证明器;FEMaLeCoP… 主要字段: 群论和概括(20-XX);数值分析(65-XX);计算机科学(68-XX)
ARENA公司 引用于9份文件(2002–2018) 软件作者: 罗克韦尔自动化公司 相关软件: Matlab;SPSS软件;DFBOX_IMPR… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
MOCUS公司 8份文件引用(1977–2020) 软件作者: J.B.Fussell、E.B.Henry、N.H.Marshall 相关软件: FATRAM;准备/套件;ELRAFT… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
马特朗 8份文件引用(2018–2022) 软件作者: 弗洛里斯·吉尔茨 相关软件: LaraDB;APL;xarray… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…
模糊夹 6篇文献引用(1995年至2012年) 软件作者: B.果园 相关软件: 汇总SQL;FLISP公司;Xfuzzy… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
磅/吨 5份文件引用(2009–2015) 软件作者: H.Tauriainen;K.赫尔扬科 相关软件: LTL2BA;SPOT;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MGTP公司 6篇文献引用(1995–2013) 软件作者: 长谷川龙子;藤田,广岛;宫崎骏小村;Shirai、Yasuyuki 相关软件: 萨奇莫;TPTP;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
奥尔加农 6篇文献引用(2007-2010年) 软件作者: 皮尔森的西波西米亚大学、俄斯特拉瓦的技术大学、布尔诺的Masaryk大学和奥洛穆克的Palacky大学的联合项目 相关软件: —— 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
MSVL公司 6篇文献引用(2019–2020) 软件作者: 王晓兵、丛田、段振华、梁昭 相关软件: 自旋蛋白;CPA检查员;CESAR… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
DeReS公司 3份文件引用(2019–2022) 软件作者: Cholewinski,P.、Marek,V.、Truszczynski,M。 相关软件: 数据日志;中国科学院科学院;Clingo… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
打火机-R 5份文件引用(2021–2023) 软件作者: Dasu,V.A.、Baksi,A.、Sarkar,S.、Chattopadhyay,A。 相关软件: 项目Q;SM4;Keccak… 主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)
FAME公司 4份文件引用(2018–2022) 软件作者: 赵仪征;雷娜特·施密特(Renate A.Schmidt)。 相关软件: ELK;蛋白质-TS;Evonne… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RDL公司 4份文件引用(2001–2005) 软件作者: 亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯 相关软件: NQTHM;ACL2;剑桥LCF… 主要字段: 计算机科学(68-XX)
核心之星 3份文件引用(2016–2017) 软件作者: M Botinan、D Distefano、M Dodds等人。 相关软件: VeriFast;小脚;自行车手… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
法塔姆 3份文件引用(1978–2020) 软件作者: 拉斯穆森,D.M。;新罕布什尔州马歇尔。 相关软件: MOCUS公司;精灵;准备/套件… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
FMona公司 3份文件引用(2000–2021) 软件作者: Bodeveix,J.-P。;M·菲拉利。 相关软件: MONA;反链;HIP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
希律王 3份文件引用(2007–2020) 软件作者: Marta Cialdea Mayer、Serenella Cerrito 相关软件: 彼拉多;斯巴达克斯;HTab… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LWB公司 3份文件引用(1996–2009) 软件作者: 拉杰夫·戈尔;沃尔夫冈·海恩勒;阿兰·豪尔丁 相关软件: MiniSat;VAMPIRE公司;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
彼拉多 3份文件引用(2007–2020) 软件作者: Marta Cialdea Mayer、Serenella Cerrito 相关软件: 希律王;斯巴达克斯;HTab… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ELRAFT公司 2份文件引用(1978–1994) 软件作者: S.N.塞曼德斯 相关软件: FATRAM;准备/套件;MOCUS… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
角质层-4 2份文件引用(2004–2012) 软件作者: Shimobaba,T。;Hishinuma,S。;伊藤,T。 相关软件: 拜勒-1 主要字段: 数值分析(65-XX);光学、电磁理论(78-XX);运筹学,数学规划(90-XX)…
LPaaS公司 1份文件引用(2018) 软件作者: 罗伯塔·卡莱加里;Enrico Denti;玛丽亚尼,斯特凡诺;安德烈亚·奥米西尼 相关软件: TuCSoN;SWI-预测;XSB… 主要字段: 计算机科学(68-XX)
PyRes公司 2份文件引用(2020) 软件作者: 斯蒂芬·舒尔茨(Stephan Schulz);亚当·皮斯 相关软件: VAMPIRE公司;iProver;E定理证明器… 主要字段: 计算机科学(68-XX)
BinSim公司 1份文件引用(2019) 软件作者: Ming,J.,Xu,D.,Jiang,Y.,Wu,D。 相关软件: 戴坦;DynOpVm;VOT4CS… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
德摩尼克 1份文件引用(2015年) 软件作者: 萨姆森·艾布拉姆斯基;多米尼克·霍斯曼 相关软件: —— 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);经典热力学,传热(80-XX)…
DysToPic公司 1份文件引用(2015年) 软件作者: 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca);卢卡·维奥兰蒂 相关软件: PreDeLo;精益TAP 主要字段: 计算机科学(68-XX)
FIPS公司 1份文件引用(1996) 软件作者: 齐格弗里德·戈特瓦尔德(Siegfried Gottwald);曼弗雷德·洛克 相关软件: —— 主要字段: 系统论;控制(93-XX);信息与通信理论,电路(94-XX)
NEVESIM公司 1份文件引用(2020) 软件作者: Dejan Pecevski、David Kappel、Zeno Jonke 相关软件: 神经元;github;倒谱 主要字段: 生物学和其他自然科学(92-XX)
REFLP公司 1份文件引用(1997) 软件作者: 罗伯特·科尔文;伊恩·海耶斯(Ian Hayes);雷·尼克森(Ray Nickson);保罗·斯特罗珀 相关软件: Ergo 6号机组 主要字段: 计算机科学(68-XX)
SENSE(感知) 1份文件引用(2019) 软件作者: M.Khaled、M.Rungger、M.Zamani 相关软件: BDD2机具;p面;ROCS… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)