软件搜索-zbMATH Open

弗洛克

swMATH ID:	6800
软件作者：	S Boldo；G Melquiond；英寸fr
描述：	Flocq（Floats for Coq）是Coq系统的浮点形式化。它提供了一个关于多基数多精度算法的综合性定理库。它还支持Coq内的高效数值计算。
主页：	http://flocq.gforge.inia.fr/
关键词：	浮点;Coq公司
相关软件：	Coq公司;MPFR公司;Why3号机组;z3（零3）;HOL灯;Gappa公司;科奎利科特;mctoolbox软件;RODES公司;MetiTarski公司;d真实;卡拉卡拉;PVS公司;ACL2型;索利娅;伊莎贝尔/HOL;HOL公司;Frama-C公司;SMT-LIB语言;停机坪
引用于：	28文件

8	西尔维·博尔多
6	纪尧姆·梅尔金德
5	皮埃尔·鲁克斯
4	弗朗索瓦·克莱门特
4	米凯拉·梅耶罗
三	罗伯特·克雷伯斯
三	埃里克·马丁·多雷尔
2	弗洛里安·费索尔
2	Jean-Christophe Filliátre
2	米奥拉乔尔德什
2	文森特·马丁
2	Jean-Michel穆勒
2	Revol，纳塔莉
2	溅出物，Bas
2	皮埃尔·韦斯
1	罗莎·阿巴斯
1	沃尔夫冈·阿伦特
1	马克·安德隆
1	Bertholon，Guillaume纪尧姆
1	伊夫·贝托特
1	尼古拉斯·布鲁尼
1	彼得·柯林斯。
1	塞缪尔·科沃德
1	伊娃·达鲁洛娃
1	佛罗伦萨迪内钦
1	阿拉斯泰尔·唐纳森。
1	西奥·A·德兰。
1	皮埃尔·洛伊奇·卡洛什
1	戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha）
1	石井、大辅
1	查尔斯·雅各布森
1	克劳德·皮埃尔·珍妮罗德
1	雅克·亨利·乔尔丹
1	米查尔·科内奇
1	文森特·勒费弗尔
1	泽维尔·勒罗伊
1	维克托·马格伦
1	埃米利亚诺·莫里尼
1	侯达·穆钦
1	米拉德·尼基
1	塞翁公园
1	劳伦斯·查尔斯·保尔森
1	瓦伦蒂娜·波佩斯库
1	劳伦斯·里多
1	乔纳斯·希夫尔
1	阿列克谢·索洛维耶夫
1	Laurent Théry
1	霍尔格·蒂斯
1	谢尔盖·托雷斯
1	马蒂亚斯·乌尔布里奇
1	友仁雅布