UnitWalk公司 33篇文献引用(2002–2023) 软件作者: 爱德华·赫施(Edward A.Hirsch)。;阿里斯特·科耶夫尼科夫 相关软件: 糠;SATO;BerkMin… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
布洛克 33篇文献引用(2011年-2023年) 软件作者: Armin Biere、Florian Lonsing、Martina Seidl 相关软件: DepQBF;RAReQS;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
versat公司 13份文件引用(2012–2022) 软件作者: Oe,Duckki;阿伦·斯塔姆(Aaron Stump);科里·奥利弗;凯文·克兰西 相关软件: Isabelle/HOL;Coq;箔条… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
水晶球 4份文件引用(2019–2022) 软件作者: 马特·索斯;拉加夫·库尔卡尼;Kuldeep S.梅尔。 相关软件: 糠;MiniSat;水獭… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
防手表 4份文件引用(2018–2021) 软件作者: 戈泽尔,查拉图斯特拉;Jakubův,Jan;斯蒂芬·舒尔茨(Stephan Schulz);约瑟夫·乌尔班 相关软件: E定理证明器;BliStrTune;谜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MapleAmpharos公司 1份文件引用(2021年) 软件作者: 赛义德·内贾蒂;纽瑟姆,扎克;约瑟夫·斯科特(Joseph Scott);梁家辉;凯瑟琳·格博提斯(Catherine Gebotys);Poupart,帕斯卡;维杰·加内什 相关软件: Transalg;斯普拉茨;AmPharoS… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
PyRes公司 引用于2份文件(2020) 软件作者: 斯蒂芬·舒尔茨(Stephan Schulz);亚当·皮斯 相关软件: VAMPIRE公司;iProver;E定理证明器… 主要字段: 计算机科学(68-XX)
PyOPAsolver公司 在0个文档中引用 软件作者: Abdesadik Bendarag;贾马尔·巴克卡斯(Jamal Bakkas);穆罕默德·哈宁;奥马尔·布特霍姆 相关软件: 定义;BENSOLVE公司;DESDEO… 主要字段: –