CC-Pi公司 在28份文件中引用(2007–2022) 软件作者: 玛丽亚·格拉齐亚·巴斯米(Maria Grazia Buscemi),乌戈·蒙塔纳里(Ugo Montanari) 相关软件: 奶牛;Isabelle/HOL;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
CSSV公司 16篇文献引用(2004年至2013年) 软件作者: 多尔,N.,罗德,M.,萨吉夫,M 相关软件: ASTREE公司;TVLA;CBMC… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
贾霍布 11份文件引用(2007–2022) 软件作者: Kuncak,V.、Wies,T.、Zee,K.、Malkis,A.、Bouillaguet,C.、Nguyen,H.H.、Schmitt,P。 相关软件: z3;VAMPIRE公司;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
OCRA公司 9份文件引用(2015–2022) 软件作者: Cimatti,A。;Dorigatti,M。;托内塔,S。 相关软件: nuXmv;NuSMV;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
法律规则ML 4份文件引用(2017–2020) 软件作者: Lam、Ho-Pun;穆斯塔法·哈什米;塔拉·阿桑;圭多总督府;莫妮卡·帕尔米拉尼;阿德里安·帕施克(Adrian Paschke);亚当·怀纳 相关软件: github;精益;逻辑键… 主要字段: (68N17-XX)
嘟嘟嘟嘟 4份文件引用(2012–2023) 软件作者: Sylvain Halle;罗杰·维尔梅尔 相关软件: LOLA;卢斯特;蒙保利… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
意大利烟草协会 5份文件引用(2011–2015) 软件作者: Cámara,J。;马汀,J.A。;Salaün,G。;库博,J。;Ouederni先生。;运河,C。;皮门特尔,E。 相关软件: 莫德;LTSA-WS;WSAT… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
版本X 4份文件引用(2020–2022) 软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。 相关软件: solc-verify;落叶松;埃菲尔… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
合同Larva 引用于3份文件(2018–2021) 软件作者: 约书亚·埃卢尔(Joshua Ellul);J.速度 相关软件: 条纹;LOLA;蒙保利… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
eThor公司 引用于3份文件(2021–2022) 软件作者: Clara Schneidewind、Ilya Grishchenko、Markus Scherer、Matteo Maffei 相关软件: SMT-LIB;CVC4;幼儿保育和教育… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
GASTAP公司 引用于3份文件(2020–2022) 软件作者: E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。 相关软件: github;加气站快车;亚当… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
光环 引用于3份文件(2013-2017) 软件作者: 迪米特里厄斯病毒性肠炎;西蒙·佩顿·琼斯;科恩·克莱森;丹·罗森 相关软件: z3;哈斯克尔;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
派克特 2份文件引用(2015年至2019年) 软件作者: 斯宾塞·鲍曼;卡尔·弗里德里希·博尔兹(Carl Friedrich Bolz);Robert Hirschfeld;瓦西里·基里切夫;佩佩,托拜厄斯;杰里米·西克(Jeremy G.Siek)。;萨姆·托宾·霍施塔特 相关软件: JavaScript;RPython;GraalVM… 主要字段: (68N20-XX);(68N18-XX)
调试工具 引用于3份文件(2020–2021) 软件作者: Tikhomirov,S.等人。 相关软件: github;蓄意破坏;eThor公司 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
坚固性 引用于3份文件(2018–2020) 软件作者: 加文·伍德(Gavin Wood)、克里斯蒂安·赖特维斯纳(Christian Reitwessner)、亚历克斯·贝雷格萨齐(Alex Beregszaszi)、莉安娜·胡西基(Liana Husikyan)、平井友一 相关软件: Servois;CVC4;PBC图书馆… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
AnaCon公司 2份文件引用(2013-2017) 软件作者: 克拉西米尔·安吉洛夫(Krasimir Angelov);约翰·卡米莱里(John J.Camilleri)。;杰拉尔多·施奈德 相关软件: 宗派;法律规则ML;Uppaal… 主要字段: (68T50-XX)
CBabel公司 2份文件引用(2005–2009) 软件作者: 亚历山大·雷德梅克;克里斯蒂亚诺·布拉加;亚历山大·斯塔金伯格 相关软件: 莫德;GraphML;SLMC… 主要字段: 计算机科学(68-XX)
霍尔巴 2份文件引用(2020–2022) 软件作者: 伦德伯格,迪德里克;罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹 相关软件: RGITL;达夫尼;GNAT证明… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MBBEFD公司 2份文件引用(2020–2021) 软件作者: 乔治·斯佩迪卡托;克里斯托夫·杜唐;马库斯·盖斯曼 相关软件: PRMLT公司 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)
solc验证 2份文件引用(2021) 软件作者: 阿尔科斯·哈伊杜,德扬·约瓦诺维奇 相关软件: VerX;深海;Manticore… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
分析财务包 1份文件引用(2007) 软件作者: 德米特里·西尔维斯特罗夫(Dmitrii Silvestrov),安纳托利·马利亚伦科(Anatoliy Malyarenko) 相关软件: – 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
迪索拉 在0个文档中引用 软件作者: 弗朗西斯·罗素。;迈克尔·梅勒(Michael R.Mellor)。;Paul H.J.Kelly。;奥拉夫·贝克曼 相关软件: SUIF;Blitz++库;BLAS… 主要字段: –
科内尔公司 1份文件引用(2020) 软件作者: 马利亚阿尔普特;丹尼尔·帕尔多(Daniel Pardo);艾丽西亚·维拉纽埃娃 相关软件: 金级规范;莫德;z3… 主要字段: 计算机科学(68-XX)
米斯里鲁 1份文件引用(2021) 软件作者: ConsenSys公司 相关软件: 曼蒂科尔;Why3;solgraph… 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
PyBlame公司 1份文件引用(2016) 软件作者: Arai、Ryoya;佐藤(Shigeyuki Sato);岩崎、秀霞 相关软件: 瓶子;TreatJS;BPGen… 主要字段: 计算机科学(68-XX)
稳定匹配 1份文件引用(2018) 软件作者: 彼得·甘米 相关软件: Isabelle/HOL;阿罗·吉巴德·萨特思韦特;Coq/SS反射… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
StoragePlanner(存储计划器) 1份文件引用(2017) 软件作者: 能源数量 相关软件: Matlab;SwingPlanner;MATLAB金融工具箱 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
摆动规划器 1份文件引用(2017) 软件作者: EnergyQuants公司 相关软件: Matlab;StoragePlanner;MATLAB财务工具箱 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
翼身 1份文件引用(2016) 软件作者: 卡迈克尔·R 相关软件: github;FOILGEN公司;JBLADE… 主要字段: 可变形固体力学(74-XX);流体力学(76-XX);系统论;控制(93-XX)
SmartAnvil(智能铁砧) 在0个文档中引用 软件作者: Ducasse,S.、Rocha,H.、Bragagnolo,S.,Denker,M.、Francomme,C。 相关软件: – 主要字段: –