The Verified Polyhedron Library: an Overview

机译：经验证的多面体库：概述

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The Verified Polyhedra Library operates upon a constraint-only representation of convex polyhedra and provides all common operations (image, pre-image, projection, convex hull, widening, inclusion and equality tests. . . ). Optionally, the soundness of the results is checked by a layer certified in Coq.

机译：经过验证的多面体库以凸多面体的仅约束表示形式进行操作，并提供所有常用操作（图像，原图像，投影，凸包，加宽，包含和相等性测试）。可选地，结果的健全性由Coq认证的图层检查。

著录项

来源
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》|2018年|9-17|共9页
会议地点
作者
Sylvain Boulmé; Alexandre Maréchaly; David Monniaux; Michaël Périn; Hang Yu;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
computational geometry; formal verification; mathematics computing; software libraries;

机译：计算几何;形式验证;数学计算;软件库;

相似文献

外文文献
中文文献
专利

1. A nonlinear approach for the three-dimensional polyhedron scaled boundary finite element method and its verification using Koyna gravity dam [J] . Chen Kai, Zoe Degao, Kong Xianjing Soil Dynamics and Earthquake Engineering . 2017,第MAY期

机译：三维多面体比例边界有限元方法的非线性方法及其在科伊纳重力坝中的验证
2. A nonlinear approach for the three-dimensional polyhedron scaled boundary finite element method and its verification using Koyna gravity dam [J] . Chen Kai, Zoe Degao, Kong Xianjing Soil Dynamics and Earthquake Engineering . 2017,第May期

机译：三维多面体比例边界有限元方法的非线性方法及其在科伊纳重力坝中的验证
3. Celebrating libraries in 20 years of democracy: An overview of library and information services in South Africa Rhodes University Library, South Africa [J] . Ujala Satgoor IFLA Journal . 2015,第2期

机译：在民主20周年中庆祝图书馆：南非图书馆和信息服务概览，南非罗得斯大学图书馆
4. The Verified Polyhedron Library: an Overview [C] . Sylvain Boulmé, Alexandre Maréchaly, David Monniaux, International Symposium on Symbolic and Numeric Algorithms for Scientific Computing . 2018

机译：已验证的多面体库：概述
5. ESL materials in libraries: An overview and selection guidelines [D] . Cohen, Susan Elizabeth 1993

机译：图书馆中的ESL材料：概述和选择指南
6. The patients library movement: an overview of early efforts in the United States to establish organized libraries for hospital patients. [O] . N M Panella 1996

机译：病人图书馆运动：在美国为医院病人建立有组织图书馆的早期努力的概述。
7. The Verified Polyhedron Library: an Overview [O] . Sylvain Boulme, Alexandre Marechaly, David Monniaux, 2018

机译：已验证的多面体库：概述

The Verified Polyhedron Library: an Overview

摘要

著录项

相似文献

相关主题

期刊订阅