×

找到109个软件包(结果1-100)

毫升

软件作者:哈珀,罗伯特;米尔纳,罗宾;太妃糖,玛兹;爱丁堡大学
参考文献: 484种出版物(1978-2021)
相关软件: 霍尔;成本;伊莎贝尔;伊莎贝尔/霍尔;哈斯克尔;霍尔灯…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);概率论与随机过程(60-XX)

ACL2

软件作者:马特·考夫曼,斯特罗瑟·摩尔
参考文献: 276种出版物(1998-2022年)
相关软件: 成本;伊莎贝尔/霍尔;PVS公司;霍尔;伊莎贝尔;霍尔灯…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);代数拓扑学(55-XX)

ETPS公司

软件作者:彼得·安德鲁斯、马修·毕肖普、查德·E·布朗、苏尼尔·伊萨尔、丹·奈斯密斯、弗兰克·芬宁、西宏伟
参考文献: 156种出版物(1986-2022)
相关软件: 测试程序集;伊莎贝尔/霍尔;霍尔;伊莎贝尔;Nuprl公司;霍尔灯…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

原因3

软件作者:弗朗索瓦·博特;让-克里斯托夫·菲利特;克劳德·马凯;纪尧姆·梅尔奎恩;安德烈·帕斯凯维奇
参考文献: 127种出版物(2004-2023年)
相关软件: 喀拉喀托;成本;球茎;z3;布吉;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)

测试程序集

软件作者:安德鲁斯,彼得B。;布朗,查德·E。
参考文献: 75种出版物(1990-2022)
相关软件: TPTP;ETPS;霍尔;利奥二世;PVS公司;Nuprl…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

凯玛拉

软件作者:普拉泽,安德烈;奎塞尔,简·大卫
参考文献: 47种出版物(2008-2022)
相关软件: SpaceEx公司;海因奇;凯玛拉X;法弗;伊莎贝尔/霍尔;流量*…
主要领域: 数理逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)

颜色

软件作者:F。布朗基,W.德洛贝尔,S.Coupet Grimal,S.Hinderer,A.Koprowski
参考文献: 37种出版物(2006-2019)
相关软件: 成本;伊莎贝尔/霍尔;CeTA;批准;CiME公司;蒂罗尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)

验证

软件作者:兹布尔泽兹尼,安德鲁泽吉;沃兹娜,波德泽娜
参考文献: 33种出版物(2005-2021年)
相关软件: 麦克马斯;麦肯锡公司;摩卡;MCMAS-SLK公司;努西姆;因为…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

为什么

软件作者:菲利特,让·克里斯托夫;帕斯凯维奇,安德烈
参考文献: 32种出版物(2013-2023)
相关软件: 原因3;z3;成本;布吉;伊莎贝尔/霍尔;达夫尼…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)

臀部

软件作者:魏恩钦;阮惠海;克里斯蒂娜·大卫;克里斯蒂安·吉尔基纳;匡乐;唐昌乐;浅草
参考文献: 30种出版物(2007-2021)
相关软件: 小脚;VeriFast公司;幻灯片;成本;z3;推断…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

JPAX公司

软件作者:哈维伦德,克劳斯;罗şu,格里戈
参考文献: 21种出版物(2002-2022)
相关软件: 莫德;班德拉;Java探路者;veriSoft公司;Java MaC;努西姆…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

棱镜游戏

软件作者:陈韬略;弗雷特,沃伊特ěch;奎亚特科夫斯卡,玛尔塔;帕克,大卫;西迈提斯,艾斯蒂斯
参考文献: 23种出版物(2013-2022)
相关软件: 棱镜;麦克马斯;鹰;主旨;MCMAS-SLK公司;GAV…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

捕食者

软件作者:杜德卡,卡米尔;米勒,彼得;佩林格,彼得;沃伊纳尔,汤姆š
参考文献: 14种出版物(2012-2021)
相关软件: 注册会计师;缅甸中央银行;幻灯片;爆破;推断;z3…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

可悲的

软件作者:维奇宁、康斯坦丁;亚历山大·莱莱斯基;帕斯凯维奇,安德烈
参考文献: 15种出版物(2004-2021)
相关软件: 后桅;福特尔;TPTP;自动机;Isar;开普勒98…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

飞天螳螂

软件作者:克雷默斯,C。
参考文献: 14种出版物(2009-2017)
相关软件: 阿维斯帕;阿基斯;罗望子;卡斯珀;会议主席;阿普特…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

霍尔布吉

软件作者:Böhme,萨沙;莱诺,K.鲁斯坦M。;沃尔夫,伯克哈特
参考文献: 13种出版物(2008-2015)
相关软件: 伊莎贝尔/霍尔;布吉;原因3;z3;球茎;VCC…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

常春藤

软件作者:麦克米兰,K.L.,帕顿,O。
参考文献: 10种出版物(2017-2021)
相关软件: 常春藤;z3;纽克斯梅夫;威尔第;达夫尼;谷歌测试…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

生物群落

软件作者:加西亚·萨利塞蒂,索尼娅;比米耶,查尔斯;乔利特,杰拉德;多里兹,伯纳黛特;Leroux les Jardins,珍;伦特,一月;倪,杨;彼得罗夫斯卡·德拉克雷塔兹,迪贾纳
参考文献: 6种出版物(2003-2010)
相关软件: XM2VTSDB;项目经理;联邦储备委员会
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

真有趣

软件作者:克里斯托夫·沃尔特;斯蒂芬·施韦策
参考文献: 10种出版物(2005-2017)
相关软件: ACL2;哈斯克尔;成本;伊莎贝尔/霍尔;尖峰;批准…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数论(11-XX)

软件作者:图米,亚历克西斯;古铁雷斯,朱利安;伍尔德里奇,迈克尔
参考文献: 9种出版物(2015-2021)
相关软件: 麦克马斯;摩卡;棱镜游戏;MCMAS-SLK公司;棱镜;普拉林…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

冰流

软件作者:但以理,马提丘;温泽尔,马卡里厄斯;莫里,托比
参考文献: 9种出版物(2014-2022)
相关软件: 伊莎贝尔;伊莎贝尔/霍尔;成本;霍尔;地区;霍尔灯…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

视觉状态

软件作者:林德尼尔森,约恩;安徒生,亨里克·雷夫;赫尔加德,亨里克;贝尔曼,格尔德;克里斯托弗森,Kåre;拉森,金G
参考文献: 7种出版物(1999-2010)
相关软件: 缅甸中央银行;接入点;努西姆;爆破;veriSoft公司;APS-1…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

光盘++

软件作者:韦纳,加布里埃尔
参考文献: 8种出版物(2002-2010)
相关软件:
主要领域: 动力系统与遍历理论(37-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

SAT竞赛

软件作者:汉斯·范马伦;法兰柯
参考文献: 6种出版物(2009-2017)
相关软件: 迷你卫星;SMAC;萨滕斯坦;萨齐拉;帕拉米尔;扯淡…
主要领域: 计算机科学(68-XX)

真相/SLC

软件作者:洛克,马丁;诺尔,托马斯
参考文献: 4种出版物(2001-2007)
相关软件: mCRL;CADP;游戏
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

扎普

软件作者:Thomas Ball、Shuvendu Lahiri和Madanlal Musuvathi
参考文献: 6种出版物(2005-2008)
相关软件: ESC/Java;简化;规格;糠;SMT-LIB;迷你卫星…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

CITP公司

软件作者:但以理阿,以理;张敏;千叶,Yuki;原本康之
参考文献: 7种出版物(2013-2020)
相关软件: 莫德;卡菲奥比;中国保监会;CASL公司;目标3;ASF+SDF…
主要领域: 计算机科学(68-XX)

墨西哥煎玉米卷

软件作者:胡安·P·加洛蒂;尼古拉斯·罗斯纳;卡洛斯洛佩斯庞博;马塞洛·F·弗里亚斯
参考文献: 4种出版物(2013-2021)
相关软件: Java探路者;睾丸;科拉特;github;科德科德;JPF-SE…
主要领域: 数理逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)

阿斯皮尔

软件作者:查基,S;达塔,A。
参考文献: 5种出版物(2011-2017)
相关软件: 易受骗;纳克索斯;Spi2Java;HMQV;ZKPDL公司;乔丹…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

B瓦雷

软件作者:大卫·德拉哈耶、凯瑟琳·杜波伊斯、克劳德·马凯、大卫·门特雷
参考文献: 5种出版物(2013-2021)
相关软件: TPTP;泽农;德杜克蒂;z3;原因3;集合…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

格泽尔

软件作者:汉森,迈克尔R。;马德森,简;布雷克林,阿斯克·威德
参考文献: 6种出版物(2002-2018)
相关软件: 乌帕;克洛诺斯;乌帕阿尔蒂加;乌帕阿尔科拉;验证;兔子…
主要领域: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

法律规则

软件作者:林和朋;哈希米、穆斯塔法;阿坦,塔拉;圭多省州长;帕米拉尼,莫妮卡;帕施克,阿德里安;怀纳,亚当
参考文献: 4种出版物(2017-2020)
相关软件: github;登录键;PLM系统;嵌入模态;利奥三世;精益…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

提姆

软件作者:王,P.,王,D.,克莉帕拉,A。
参考文献: 6种出版物(2018-2021)
相关软件: TcT;z3;分离逻辑;OptiMathSAT公司;摊余复杂度;基特尔…
主要领域: 计算机科学(68-XX)

验证

软件作者:登宾斯基,皮奥特;雅诺斯卡,阿加塔;雅诺夫斯基,帕维;彭泽克,沃伊切赫;帕罗拉,阿加塔;斯雷特,麦基;沃兹娜,波泽娜;兹布尔泽兹尼,安德泽吉
参考文献: 6种出版物(2003-2018)
相关软件: 麦克马斯;麦肯锡公司;努西姆;旋转;乌帕阿尔科拉;乌帕尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

贝勒罗芬

软件作者:富尔顿,内森;米奇,斯特凡;伯勒,布兰登;普拉泽,安德烈
参考文献: 5种出版物(2017-2022)
相关软件: 凯玛拉X;凯美拉;SpaceEx公司;伊莎贝尔/霍尔;模型丛;德雷克…
主要领域: 数理逻辑与基础(03-XX);常微分方程组(34-XX);计算机科学(68-XX)

爱普吉

软件作者:理查德·索默;格雷戈里·努科尔斯
参考文献: 3种出版物(2001-2020)
相关软件: LPL软件;减少;水獭;伊莎贝尔/霍尔;降价;网络混乱…
主要领域: 计算机科学(68-XX);数学教育(97-XX)

心理同步

软件作者:戈伊博士,塞扎拉;亨辛格,托马斯A。;祖弗里,达米恩
参考文献: 5种出版物(2016-2021)
相关软件: 威尔第;旋转;ByMC公司;z3;远端;荷鲁斯…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

萨尔萨

软件作者:Bharadwaj,R.,西姆斯,S。
参考文献: 4种出版物(2000-2010)
相关软件: 欧米茄;CADP;能量6;莫德;E-LOTOS;乌帕尔…
主要领域: 计算机科学(68-XX)

粗壮的

软件作者:Nathalie Cauchi,Kurt Degiorgio,Alessandro Abate
参考文献: 5种出版物(2019-2022)
相关软件: 浮士德2;棱镜;SReachTools公司;ProbReach公司;肌炎;谦虚…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

TCAS系统

软件作者:戈特利布,A。
参考文献: 3种出版物(2012-2019)
相关软件: z3;SMT-LIB;迷你卫星;CPBPV;暴露;SymJS…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

轴心

软件作者:理查兹,S.,M.萨德尔扎德
参考文献: 4种出版物(2009-2016)
相关软件: 演示;佩斯卡
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

欧氏瓣心内膜炎

软件作者:穆罕默德·纳吉布
参考文献: 4种出版物(2019-2021)
相关软件: 麦克马斯;MCMAS-SLK公司;棱镜游戏;鹰;普拉林;摩卡…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

傻瓜

软件作者:科特尔尼科夫,叶夫根尼;科瓦茨,劳拉;沃龙科夫,安德烈
参考文献: 4种出版物(2015-2021)
相关软件: TPTP;大锤;SMT-LIB;TLAP;沙塔拉;QbEval…
主要领域: 计算机科学(68-XX)

吉莫查

软件作者:铝,R。;德阿尔法罗,L。;格罗苏,R。;亨辛格,T。;托马斯,A。;康,M。;基尔施,C。;马朱姆达尔,R。;曼格,F。;王,B.-Y。
参考文献: 4个出版物(2008-2021)
相关软件: 摩卡;麦克马斯;MCMAS-SLK公司;验证;麦肯锡公司;因为…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

约基

软件作者:阿尔特,S.,Rümmer,P.,Schäf,M。
参考文献: 3种出版物(2013-2020)
相关软件: 公民;级联;结壳;肾盂;锈毒蛇;肉汁…
主要领域: 计算机科学(68-XX)

发起人

软件作者:锡瓦什索利马尼法德;古洛夫,迪莲;豪氏威马,玛丽克
参考文献: 4种出版物(2011-2016)
相关软件: 马文;德尔塔克斯;MSTA公司;供应商管理中心;多灶神星;CPAchecker…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

自动同步器

软件作者:怀、金鹏;邓婷;李先贤;杜宗霞;郭惠鹏
参考文献: 3个出版物(2009-2012)
相关软件: WSAT;努西姆;LTSA-WS;
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

跳跃

软件作者:丁斯代尔·杨,托马斯;达罗查平托,佩德罗;安徒生,克里斯托弗只是;伯克达尔,拉尔斯
参考文献: 3种出版物(2017-2021)
相关软件: 毒蛇;VeriFast公司;哈希*;触觉;蚱蜢;推断…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

二元体

软件作者:Ge X、Taneja K、Xie T、Tillmann N
参考文献: 2种出版物(2017-2018)
相关软件: Pex公司;桑特;Frama-C;成本;马尔克;幼虫…
主要领域: 计算机科学(68-XX)

FACTum公司

软件作者:马姆索勒,迭戈;吉迪,哈伯汤姆·卡西
参考文献: 3种出版物(2019-2021)
相关软件: 克罗克沃克;爪哇拖把;康卡;建筑设计模式;动态体系结构;存档正式证据…
主要领域: 计算机科学(68-XX)

伊曼德拉

软件作者:格兰特·奥尔尼·帕斯莫尔、西蒙·克鲁恩斯、丹尼斯·伊格纳托维奇、戴夫·艾特肯、马特·布雷、以利亚·卡根、克斯特亚·卡尼舍夫、埃文·麦克莱恩、尼古拉·莫梅托
参考文献: 3种出版物(2020-2021)
相关软件: 芝诺;SMT-LIB;吸血鬼;CVC4;化身;埃瑟…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

马斯克韦里夫

软件作者:巴尔特,G.,贝拉伊德,S.,卡西尔,G.,福克,P.-A.,格雷戈尔,B.,斯坦达特,F.-X。
参考文献: 3种出版物(2021年)
相关软件: 龙卷风
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

miTLS公司

软件作者:Karthikeyan Bhargavan、Cédric Fournet、圣地亚哥Zanella-Béuelin、Benjamin Beurdouche、Antoine Delignat Lavaud、Markulf Kohlweiss、Jean-Karim Zinzindhoué、Nadim Kobeissi、Alfredo Pironti、Pierre-Yves Strub
参考文献: 3种出版物(2019-2021)
相关软件: 纳克索斯;汉斯;CppMem公司;diy7;第7组;荷兰语
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

多楔

软件作者:米查尔·科纳什,扬·杜拉茨
参考文献: 3种出版物(2014-2018)
相关软件: CK分析;泰勒;CAPD;dcc公司;国际实验室;为什么3…
主要领域: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)

龙卷风

软件作者:索尼娅,贝拉伊德;达甘,皮埃尔-埃瓦里斯特;墨卡迪埃,大流士;里文,马修;温特斯多夫,拉斐尔
参考文献: 3种出版物(2020-2021)
相关软件: 马斯克韦里夫;地下的;吉姆利;乌苏巴;严格证明;海绵状的…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

UMLsec公司

软件作者:Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、沈S
参考文献: 出版1期(2018年)
相关软件: 弹跳城堡;兆焦耳;爪哇;AGVI;马尔特;赫比…
主要领域: 计算机科学(68-XX)

鳄鱼

软件作者:亨辛格,托马斯A。;霍特利埃,蒂波特;科瓦茨,劳拉
参考文献: 3种出版物(2008-2010)
相关软件: 斯卡拉;数学;z3;门套;作业成本法;贾玛…
主要领域: 计算机科学(68-XX)

验证者

软件作者:久保田、高弘;Kakutani,Yoshihiko;加藤,去吧;川野、安石;樱田秀树
参考文献: 3种出版物(2016-2019)
相关软件: QPL;QPMC公司;利基;ScaffCC公司;调皮工;棱镜
主要领域: 计算机科学(68-XX);量子理论(81-XX)

维克斯

软件作者:Permenev,A.,Dimitrov,D.,Tsankov,P.,Drachsler-Cohen,D.,Vechev,M。
参考文献: 3个出版物(2021-2022)
相关软件: solc验证;曼蒂科雷;海喇叭;深海;ABCL公司;绝对值…
主要领域: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

阿雷波

软件作者:雷纳·温伯格、沃尔克·斯普林格尔、Rüdiger-Pakmor
参考文献: 0个出版物
相关软件: 小发明;拉贾;魅力++;科科斯;闪光灯;阿姆利克斯…
主要领域:

CLN2INV公司

软件作者:Gabriel Ryan,Justin Wong,Jianan Yao,Gu荣辉,Suman Jana
参考文献: 2种出版物(2020-2021)
相关软件: AI2型;nn控制器;Reluplex公司;亚当;垫片;代码2inv…
主要领域: 计算机科学(68-XX)

编解码器

软件作者:伊登,A.H。;加斯帕里斯,E。;尼科尔森,J。;卡兹曼,R。
参考文献: 2种出版物(2011-2013)
相关软件: 落叶松
主要领域: 计算机科学(68-XX)

科里斯

软件作者:珍妮罗德,尼古拉斯;三月,克劳德;特雷宁,拉尔夫
参考文献: 2种出版物(2017年)
相关软件: 为什么;原因3;贝壳检查;对决主义;定理证明器;CVC4…
主要领域: 计算机科学(68-XX)

ESC4型

软件作者:詹姆斯,佩里R。;查林,帕特里斯
参考文献: 2本出版物(2010-2011)
相关软件: 布吉;ESC/Java;水獭;VACID-0;定理证明器;VCC…
主要领域: 计算机科学(68-XX)

Firedrake液体

软件作者:C.T.雅各布,医学博士皮戈特
参考文献: 2种出版物(2020-2022)
相关软件: PETSc/TS;ADCIRC公司;芬尼茨;PETSc公司;海鞘;TsunAWI…
主要领域: 数值分析(65-XX);流体力学(76-XX)

公式2.0

软件作者:杰克逊,伊桑K。;舒尔特,沃尔夫拉姆
参考文献: 2个出版物(2013-2016)
相关软件: ATL公司;时刻2;维迪亚斯;莫德;HOL-OCL;聚合…
主要领域: 计算机科学(68-XX)

瓜多尔

软件作者:大卫哈丁;康拉德斯林德;迈克尔·沃伦;团鸿范
参考文献: 出版1期(2016年)
相关软件: 麻糬;雷达;CVC4;里昂;OpenSMT;z3…
主要领域: 计算机科学(68-XX)

囤积

软件作者:卡费拉,里卡多;佩尔蒂埃,尼古拉斯;普伊特,弗朗索瓦
参考文献: 2份出版物(2001-2012)
相关软件: JGEX公司;GEX公司;发现者;地球物理学;GCL校准仪;地质勘探…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

杰伯斯坦

软件作者:陈总,H街,Shankar N
参考文献: 出版1期(2016年)
相关软件: EFSMT;德雷尔;z3;是的;QEPCAD公司;梅塔尔斯基
主要领域: 计算机科学(68-XX)

元数据编辑器

软件作者:巴托舍克,米罗斯拉夫;科瓦什,彼得;萨尔菲,马丁
参考文献: 2个出版物(2008-2013)
相关软件: 因夫蒂;特克斯;乳胶;数学;帕西特
主要领域: 计算机科学(68-XX)

纳吉尼

软件作者:艾勒,M.,穆勒,P
参考文献: 2种出版物(2021年)
相关软件: 布吉;毒蛇;z3;Frama-C;原因3;喀拉喀托…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

电动卡车

软件作者:A。哈兹拉,R.穆克吉,P.达斯古塔,A.帕尔,K.哈勒,A.班纳吉,S.穆克吉
参考文献: 2种出版物(2016-2018)
相关软件: 金额;阿斯德克斯;iscasMc;预言;狂喜;棱镜游戏…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

RDP2型

软件作者:Martin DP、威廉森C、波萨达D
参考文献: 出版1期(2017年)
相关软件: 分裂压力;异性恋;贝耶斯先生;示踪剂;马尔夫;iGTP…
主要领域: 一般性和全局性主题;收款(00-XX);生物学和其他自然科学(92-XX)

罗素

软件作者:弗拉索夫,D.Yu。
参考文献: 2种出版物(2011-2020)
相关软件: 元数学;github;Smm公司
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

沙漏

软件作者:陈,陈;贾利民;徐浩;罗成;周文超;Loo,Boon Thau
参考文献: 1本出版物(2015)
相关软件: VCGen公司;成本;快速网络;普罗夫里夫;霍尔/旋转
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

辛普

软件作者:德安吉丽斯,伊曼纽尔;费奥拉万蒂,法比奥;佩托罗斯,阿尔伯托;普罗埃蒂,毛里齐奥
参考文献: 2个出版物(2013-2019)
相关软件: PPL;洛根;HSF;示踪剂;ARMC公司
主要领域: 计算机科学(68-XX)

Smm公司

软件作者:弗拉索夫,D.Yu。
参考文献: 2种出版物(2011-2012)
相关软件: 元数学;罗素
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

Smt开关

软件作者:Mann,Makai;威尔逊,阿玛利;佐哈尔,尤尼;斯特伦茨,林赛;艾哈迈德·伊尔凡;布朗,克里斯托弗;多诺维克,卡莱布;古曼,艾莉森;蒂内利,塞萨尔;巴雷特,克拉克
参考文献: 1次出版(2021年)
相关软件: 谷歌测试;z3;皮斯密特;数学5;赛顿;SMT-LIB…
主要领域: 计算机科学(68-XX)

solc验证

软件作者:Ákos Hajdu,德扬·乔瓦诺维奇
参考文献: 2种出版物(2021年)
相关软件: 韦尔克斯;曼蒂科雷;海喇叭;深海
主要领域: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

电视

软件作者:维塔宁,海基;汉森,亨利;瓦尔马里安提;尼米宁,朱哈;埃尔基拉,蒂莫
参考文献: 2份出版物(2004-2017)
相关软件: CADP;mCRL2型
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

VCGen公司

软件作者:陈,陈;贾利民;徐浩;罗成;周文超;Loo,Boon Thau
参考文献: 1本出版物(2015)
相关软件: 沙漏;成本;快速网络;普罗夫里夫;霍尔/旋转
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

沃克塞勒布

软件作者:Arsha Nagrani、Joon Son Chung、Andrew Zisserman
参考文献: 0个出版物
相关软件: 神经质;卡尔迪;蟒蛇;Pythorch公司;浓缩咖啡;皮托克·卡尔迪…
主要领域:

为什么

软件作者:梅尔奎恩,纪尧姆;里尤·赫尔夫特,拉斐尔
参考文献: 2种出版物(2020-2023)
相关软件: 哈希*;原因3;为什么;伊莎贝尔/霍尔
主要领域: 计算机科学(68-XX)

安妮卡

软件作者:服务技术
参考文献: 出版1期(2018年)
相关软件: 多三次;政治公众人物
主要领域: 计算机科学(68-XX)

ASD套房

软件作者:维伦
参考文献: 1本出版物(2013年)
相关软件:
主要领域: 计算机科学(68-XX)

阿斯德克斯

软件作者:马明玉,拉尔斯·赫德里奇,克里斯蒂安·斯波雷尔
参考文献: 出版1期(2018年)
相关软件: 金额;电动卡车;iscasMc;预言;狂喜;棱镜游戏…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

DC2型

软件作者:Ivancic,F.,Balakrishnan,G.,Gupta,A.等人。
参考文献: 0个出版物
相关软件: DDVerify公司;缅甸中央银行;注册会计师;爆炸
主要领域:

数据验证程序

软件作者:查维斯,列侬;贝萨,尤里;科尔代罗,卢卡斯;科隆,丹尼尔
参考文献: 出版1期(2018年)
相关软件: 数据验证人;缅甸中央银行;注册会计师;Matlab语言
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

戴维塞尔特

软件作者:纳瓦罗-洛佩斯;奥图尔医学博士。
参考文献: 出版1期(2018年)
相关软件: 赦免人;德拉赫;香附;计算;SpaceEx公司;S-塔利罗…
主要领域: 粒子与系统力学(70-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

地质雷达

软件作者:布拉德,埃里克;萨特别克阿布迪尔达耶夫
参考文献: 出版1期(2018年)
相关软件: github;蟒蛇
主要领域: 几何(51-XX);计算机科学(68-XX)

霍尔巴

软件作者:伦德伯格,迪德里克;瓜夏尔,罗伯托;林德纳,安德烈亚斯;妈的,妈的
参考文献: 1份出版物(2020年)
相关软件: 特拉宾;Cloc;布吉普尔;盔甲;seL4;卡凯尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

内核

软件作者:阿普特,玛里亚;帕多,丹尼尔;维拉纽瓦,艾丽西亚
参考文献: 1份出版物(2020年)
相关软件: 金规范;莫德;z3;ACSL公司
主要领域: 计算机科学(68-XX)

LCTD

软件作者:萨里基维,奥利;Heljanko,Keijo
参考文献: 出版1期(2016年)
相关软件: 污水处理厂;LCT;jCUTE公司;薄片;布吉普尔;维尔姆…
主要领域: 计算机科学(68-XX)

LPiTrack公司

软件作者:穆霍帕德耶,苏巴德耶普;南迪,新津
参考文献: 出版1期(2018年)
相关软件: LPTime公司;甘特;AdaBoost.MH;地图还原
主要领域: 统计学(62-XX);计算机科学(68-XX)

护城河

软件作者:Sinha R、Rajamani SK、Seshia SA、Vaswani K
参考文献: 出版1期(2017年)
相关软件: F*;寓言;厄洛斯;VC3;层流;梅林…
主要领域: 计算机科学(68-XX)

网络安全策略验证

软件作者:迪克曼,C。
参考文献: 出版1期(2016年)
相关软件: 定理证明器;正则_代数;巴比伦人;罗宾斯猜想;归档正式证据;流浪汉…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

巴黎

软件作者:卡茨,S.,C.A.里克特,K.S
参考文献: 1本出版物(1998年)
相关软件: 壁画;蛋白质;两性离子;E-SETHEO公司;空间;濑户
主要领域: 计算机科学(68-XX)

退出

软件作者:格雷斯,伯恩哈德;科瓦茨,劳拉;罗比拉德,西蒙
参考文献: 出版1期(2018年)
相关软件: 吸血鬼;因夫根;CVC4;z3;TPTP;SMT-LIB公司
主要领域: 计算机科学(68-XX)

快速时间

软件作者:Rapita系统有限公司
参考文献: 出版1期(2016年)
相关软件: F外壳;pwcet公司
主要领域: 计算机科学(68-XX)

尖叫

软件作者:Rowland J.C.,Shelef E.,Pope P.A.,Muss J.,Gangodagamage C.,Brumby S.P.,等。
参考文献: 0个出版物
相关软件: 床形自动取款机;RVR曲流;梨属;Matlab语言;MStaT公司;RivWidthCloud…
主要领域: