花椰菜

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Immler,Fabian;Traut,Christoph:敖德斯流:变分方程和庞加莱映射的形式化(2019) Mahboubi,Assia;Melquiond,Guillaume;Sibut Pinote,Thomas:正式验证的定积分近似(2019) Affeldt,Reynald;Cohen,Cyril;Rouhling,Damien:古典分析中渐进推理的形式化技术(2018) Bertot,Yves;Rideau,Laurence;Théry,Laurent:(\pi)的遥远小数:计算它们的一些算法的形式证明和精确计算的保证(2018) Paulson,Lawrence C.:计算逻辑:它的起源和应用(2018) Joseph Tassarotti;Harper,Robert:随机项目的验证尾界(2018) 波尔多,西尔维;梅尔奎恩,纪尧姆:计算机算术和形式证明。 使用Coq系统验证浮点算法(2017) Fulton,Nathan;Mitsch,Stefan;Bohrer,Brandon;Platzer,André:混合系统的战术定理证明(2017) 李文达;保尔森,劳伦斯C.:柯西剩余定理的形式证明(2016) Mahboubi,Assia;Melquiond,Guillaume;Sibut Pinote,Thomas:正式验证的定积分近似(2016) Sylvie Boldo;Catherine Lelay;Guillaume Melquiond:Coquelicot:Coquelicot:Coq真实分析的用户友好库(2015)