×

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

班德拉

软件作者:哈特克利夫,约翰;德怀尔,马修
参考文献: 104种出版物(2000-2018)
相关软件: 旋转;Java探路者;veriSoft公司;猛击;贝博普;dSPIN…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

阿斯特里

软件作者:帕特里克·库索,拉迪娅·库索,杰尔·费雷特,劳伦特·毛博涅,安托万·米内,大卫·蒙尼奥,泽维尔的竞争对手
参考文献: 108种出版物(2002-2021)
相关软件: 停机坪;PPL;z3;成本;八角形;爆炸…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);数值分析(65-XX)

围裙

软件作者:珍妮,贝特朗;敏妮,安托万
参考文献: 68种出版物(1991-2021)
相关软件: 阿斯特里;PPL;z3;八角形;过程间;帕加伊…
主要领域: 凸与离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)

八角形

软件作者:米内,A。
参考文献: 59种出版物(2002-2014)
相关软件: 阿斯特里;停机坪;PPL;ESC/Java;球茎;为什么3…
主要领域: 数理逻辑与基础(03-XX);凸与离散几何(52-XX);数值分析(65-XX)

再见

软件作者:Hermenegildo公司,Bueno F.,Puebla G.,Lopez P。
参考文献: 45种出版物(1999-2021)
相关软件: 再见;西斯库斯;汞;拉夫特;成本;幼儿保育和教育…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

日本星

软件作者:DiStefano,D.,帕金森,M。
参考文献: 29种出版物(2008-2017)
相关软件: 小脚;VeriFast公司;成本;布吉;规格;ESC/Java…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

第页

软件作者:马丁,弗洛里安
参考文献: 20种出版物(1996-2018)
相关软件: 忍者;恰奥普;再见;肉冻;成本;JT变压器…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

海喇叭

软件作者:Gurfinkel,A.,Kahsai,T.,Komuravelli,A.,Navas,J.A。
参考文献: 20种出版物(2015-2021)
相关软件: z3;验证图;薄片;拉夫特;示踪剂;CPAchecker…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

匕首

软件作者:古拉瓦尼,巴尔加夫S。;查克拉波蒂,上提克;诺里,阿迪蒂亚五世。;拉贾曼尼,斯里拉姆K。
参考文献: 14种出版物(2008-2018)
相关软件: PPL;停机坪;ARMC公司;猛击;阿斯特里;海喇叭…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

FunArray公司

软件作者:库索,帕特里克;库索,拉迪亚;洛佐,弗朗西斯科
参考文献: 15种出版物(2011-2021)
相关软件: 阿斯特里;z3;助推器;停机坪;Mcmt;公主…
主要领域: 序,格,有序代数结构(06-XX);计算机科学(68-XX)

维拉斯科

软件作者:雅克·亨利·约尔丹、文森特·拉波特、桑德琳·布莱兹、泽维尔·勒罗伊、大卫·皮查迪
参考文献: 11种出版物(2016-2021)
相关软件: 成本;阿斯特里;工具链;z3;LLVM;再见…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);凸与离散几何(52-XX)

薄片

软件作者:卡特,M.,他,S.,惠特克,J.,拉卡马里奇,Z.,埃米,M。
参考文献: 7种出版物(2016-2021)
相关软件: 克莱;缅甸中央银行;注册会计师;海喇叭;不明飞行物;LLVM…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

HMC公司

软件作者:Jhala,R.,Majumdar,R.,Rybalchenko,A。
参考文献: 7种出版物(2014-2021)
相关软件: z3;垫片;海喇叭;公主;布吉;杰霍恩…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

帕盖

软件作者:朱利安·亨利、大卫·蒙诺、马修·莫伊
参考文献: 8种出版物(2014-2020)
相关软件: 停机坪;PPL;海因奇;法弗;阿斯特里;EFM工具…
主要领域: 数理逻辑与基础(03-XX);凸与离散几何(52-XX);计算机科学(68-XX)

AI2型

软件作者:Gehr,T.,Mirman,M.,Drachsler-Cohen,D.,Tsankov,P.,Chaudhuri,S.,Vechev,M.T。
参考文献: 6种出版物(2020-2021)
相关软件: Reluplex公司;傻瓜;深度规;深挖;张量模糊;DL2…
主要领域: 常微分方程组(34-XX);数值分析(65-XX);计算机科学(68-XX)

阿尔法

软件作者:王尔德,D.K。
参考文献: 6种出版物(1999-2005)
相关软件: 马尔帕法;多段线;歌剧;光泽
主要领域: 计算机科学(68-XX)

拉夫特

软件作者:卡夫勒,B.,加拉赫,J.P.,莫拉莱斯,J.F。
参考文献: 6种出版物(2018-2021)
相关软件: z3;再见;海喇叭;恰奥普;曲安奈德;HSF…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

慈白

软件作者:洛佐,弗朗西斯科
参考文献: 4种出版物(2007-2010)
相关软件: 常规的;布吉;PPL;阿斯特里;CSSV;布吉普尔…
主要领域: 计算机科学(68-XX)

固定袋

软件作者:团鸿范;明泰寺;安黄忠;魏恩钦
参考文献: 3种出版物(2013-2017)
相关软件: MemCAD公司;TVLA;捕食者;奎克;杀戮者;围裙…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

雅克斯塔布

软件作者:约翰尼斯·金德尔,赫尔穆特·维思
参考文献: 3种出版物(2011-2018)
相关软件: 猛击;塞加尔;MU CSeq;共生2;担保人;弗兰肯比特…
主要领域: 计算机科学(68-XX)

纽波尔卡

软件作者:珍妮B。
参考文献: 3份出版物(2007-2015)
相关软件: PPL;停机坪;蒂娜;罗密欧;埃斯特雷尔;因为…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

DTRE公司

软件作者:李·布莱恩,艾伦·戈德伯格
参考文献: 3种出版物(1993-2015)
相关软件: 菲亚特;孩子们;OCaml公司;成本;样品;Nuprl…
主要领域: 范畴论;同调代数(18-XX);计算机科学(68-XX)

本征CFA

软件作者:帕布,塔伦;拉马林根,什里亚斯;可能,马修;霍尔,玛丽
参考文献: 3种出版物(2011-2012)
相关软件: PETSc公司;库达大学;雷神;TRecS公司;ARMC公司;旋转
主要领域: 计算机科学(68-XX)

麦盖特

软件作者:吕明松;关、南;邓清旭;于戈;易,王
参考文献: 1本出版物(2013年)
相关软件: 小川;注册会计师;红色图书馆;综合征;乌帕阿尔蒂加;CMC…
主要领域: 计算机科学(68-XX)

帕拉瓦

软件作者:伊万尼科夫,副总裁。;阿维蒂斯扬,A.I。;盖萨瑞安,S.S。;阿克皮扬,硕士。
参考文献: 3份出版物(2007-2009)
相关软件: 小教堂;MPJ快递;要塞;英特尔MPI基准测试;锡尔克;MPI公司
主要领域: 计算机科学(68-XX)

普雷西萨

软件作者:蒂托洛,劳拉;费利,马可A。;莫斯卡托,马里亚诺;穆尼奥斯,塞萨尔A。
参考文献: 3种出版物(2018-2021)
相关软件: 兰格实验室;z3;阿斯特里;Frama-C;PVS公司;黛西…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

麻雀

软件作者:Oh Hakjoo,Kihong Heo,Wonchan Lee,Woosuk Lee,Kwangkeun-Yi
参考文献: 3种出版物(2016-2019)
相关软件: 停机坪;阿斯特里;烟尘;旋转;PMTK;化学试剂盒
主要领域: 计算机科学(68-XX)

TSL公司

软件作者:Lim,J.,代表,T.W。
参考文献: 3种出版物(2015-2021)
相关软件: K检验器;佐醇;公司证书;Lem公司;CoqJVM;伊莎贝尔/霍尔…
主要领域: 计算机科学(68-XX)

羞怯

软件作者:Mazurak,K.,Zdancewic,S。
参考文献: 1本出版物(2010年)
相关软件: 尼克松;鸦片
主要领域: 计算机科学(68-XX)

ac2lus公司

软件作者:Altisen K,莫伊·M
参考文献: 2种出版物(2014-2016)
相关软件: 猫;货币;光泽;gem5;LLVM;乌帕尔…
主要领域: 计算机科学(68-XX)

川东北光伏

软件作者:斯科特·安德森,彼得·雷维斯
参考文献: 2种出版物(2010-2019)
相关软件: ESMF;MLPQ;迪代尔;X语言;CCUBE公司;抒情的…
主要领域: 计算机科学(68-XX);地球物理学(86-XX)

功能

软件作者:城市,C。
参考文献: 2种出版物(2015年)
相关软件: 批准;终极魔术师;l催乳剂;终极的;缅甸中央银行;数学5…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

宜家

软件作者:纪尧姆·布拉特(Guillaume Brat)、豪尔赫·纳瓦斯(Jorge A.Navas)、尼亚希(Nija Shi)、阿诺·维内(Arnaud Venet)
参考文献: 1本出版物(2015)
相关软件:
主要领域: 计算机科学(68-XX)

朱莉娅

软件作者:斯波托,福斯托
参考文献: 2份出版物(2013-2015)
相关软件: 朱莉娅静态分析仪;FunArray公司;阿斯特里
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

生产商

软件作者:李R,李杰,黄CC,杨平,黄X,张L,薛B,赫尔曼斯H
参考文献: 2种出版物(2021年)
相关软件: Reluplex公司;马拉博;XNOR网络;效率网;阿波罗;MNIST…
主要领域: 计算机科学(68-XX)

兰格实验室

软件作者:马特尔,M。
参考文献: 2个出版物(2018-2021)
相关软件: 普雷西萨;雏菊;github;f调谐器;德雷尔;z3…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

猛击

软件作者:卡扬,加布里埃尔;特里斯坦勒加尔;马钱德,先生;按摩师,蒂埃里
参考文献: 2种出版物(2011-2012)
相关软件: 固定点;乌姆德斯;围裙
主要领域: 系统论;控制(93-XX)

克隆

软件作者:Fähndrich,曼努埃尔;洛佐,弗朗西斯科
参考文献: 1本出版物(2012)
相关软件: 艾菲尔
主要领域: 计算机科学(68-XX)

伊兰

软件作者:苏黎世ETH计算机科学系安全、可靠和智能系统实验室(SRI)
参考文献: 1次出版(2021年)
相关软件: 法斯特格林;转移注意力;gRPC公司;AI2型;DL2型;锡兰…
主要领域: 计算机科学(68-XX)

FLD箱

软件作者:弗德林,弗兰克;杰奎敏,马克西姆;科斯马托夫,尼古拉;先生,朱利安
参考文献: 1次出版(2021年)
相关软件: FLD编译器
主要领域: 计算机科学(68-XX)

FLD编译器

软件作者:Maxime Jacquemin,Fonenatsoa Maurica,尼古拉·科斯马托夫,Julien Signoles,Franck Védrine
参考文献: 1次出版(2021年)
相关软件: FLD箱
主要领域: 计算机科学(68-XX)

单片机

软件作者:赫乌纳,亚历山大;特里斯坦勒加尔;萨特,格雷戈
参考文献: 0个出版物
相关软件: 餐前小吃;CADP;旋转;特雷克斯
主要领域:

元理论.jl

软件作者:亚历山德罗切利
参考文献: 0个出版物
相关软件: MatchCore.jl;MLStyle.jl;鸡蛋;RuntimeGeneratedFunctions.jl;朱莉娅
主要领域:

麻疯树

软件作者:赵,S.,康,J.,崔,J.,易,K。
参考文献: 出版1期(2017年)
相关软件: A3PAT;颜色;批准;CeTA;伊莎贝尔/霍尔
主要领域: 计算机科学(68-XX)

终极大班

软件作者:Greitschus,M.,Dietsch,D.,Heizmann,M.,Nutz,A.,Schätzle,C.,Schilling,C.,Schüssele,F.,Podelski,A。
参考文献: 出版1期(2018年)
相关软件: 石龙子;终极魔术师;注册会计师;终极自动化;思密特酚;爆炸
主要领域: 计算机科学(68-XX)