RRL公司 59篇文献引用(1985–2023) 软件作者: D.卡普尔;H.张 相关软件: 收入;水獭;NQTHM… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);非结合环与代数(17-XX)…
Daikon公司 41篇文献引用(2005–2022) 软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;Guo,Philip J。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖、陈 相关软件: JML;胡迪尼;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者: 卡罗尔·皮里;盖尔·杜勒鲁(Geir E.Dullerud)。 相关软件: YALMIP;塞杜米;LMI工具箱… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);运筹学,数学规划(90-XX)…
地理1.1 31份文件引用(1996–2021) 软件作者: 王东明 相关软件: GeoGebra;GEX;地理信息… 主要字段: 场论与多项式(12-XX);几何(51-XX);数值分析(65-XX)…
海尔雨果 17篇文献引用(2000–2011) 软件作者: Groote,J.F.,Warners,J.P。 相关软件: SATO;糠;DIMACS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
布利克塞姆 15篇文献引用(1999–2012) 软件作者: de Nivelle,H。 相关软件: SPASS;水獭;TPTP… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)
梦想 在11份文件中引用(2018年-2023年) 软件作者: J·A·弗鲁特 相关软件: 坚果;发光;GitHub… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
洛伊 9份文件引用(2002–2021) 软件作者: J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件: TPTP;Coq;PVS… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)
OACC公司 10篇文献引用(2013–2022) 软件作者: Soler-Toscano F、Zenil H、Delahaye J-P、Gauvrit N 相关软件: acss;组织环境信息系统;哈斯克尔… 主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
VSDITLU公司 9份文件引用(1999–2013) 软件作者: 亚当斯,A.A。;Gottliebsen,H。;林顿股份有限公司。;美国马丁。 相关软件: PVS;自动化;枫树… 主要字段: 群论与推广(20-XX);实函数(26-XX);计算机科学(68-XX)…
萨彻姆ID 6篇文献引用(1995-2004年) 软件作者: 唐纳德·洛夫兰(Donald W.Loveland)。;阿德南·H·叶海亚。 相关软件: 萨奇莫;DWAM;DCTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
临床 4份文件引用(1994–2017) 软件作者: Chu,H.,Plaisted,D.A.,理论博物馆 相关软件: iProver;E-Darvin;达尔文… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
弗里普 3份文件引用(2006–2008) 软件作者: Ko B、Byun H 相关软件: 简单性;EMD;MSRA-MM… 主要字段: 计算机科学(68-XX);系统理论;控制(93-XX);信息与通信理论,电路(94-XX)
地理2007F 4份文件引用(2011–2018) 软件作者: de Nivelle,H。 相关软件: MiniSat;ModGen;CVC精简版… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MKRP公司 3份文件引用(1996–2005) 软件作者: 艾辛格,N.,Ohlbach,H.J 相关软件: 欧米茄;KEIM公司;利奥… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
组-Ring模块 引用于2份文件(2017–2019) 软件作者: Kobayashi,H.,Chen,L.,Murao,H。 相关软件: 多项式;深度学习;Groebner_Bases… 主要字段: 计算机科学(68-XX)
PRe学习 引用于2份文件(2022–2023) 软件作者: 约瑟夫·里夫斯(Joseph E.Reeves)。;Heule,Marijn J.H。;Randal E.布莱恩特。 相关软件: CaDiCaL;Paracooba;基萨特… 主要字段: 计算机科学(68-XX)
COMBINE公司 在0个文档中引用 软件作者: Nguyen,An N。;Quan,Tho T。;Nguyen,Phung H。;Bui,Thang H。 相关软件: z3;HIP;Java PathFinder… 主要字段: –