你即將離開本站

並前往https://hal.archives-ouvertes.fr/hal-02100006/document

The Verified Polyhedron Library: an overview - Archive ...

VPL, the Verified Polyhedron Library2 is a library for computing over convex polyhedra in arbitrary dimension. It is implemented in OCaml.

確定！ 回上一頁

查詢 「Polyhedron」的人也找了：

  1. polyhedron中文
    2.
  2. polyhedron定義
    3.
  3. 多面體公式
    4.
  4. Polytope
    5.
  5. 多面體摺紙
    6.
  6. Uniform polyhedron
    7.
  7. Polyhedron
    8.
  8. Polyhedron formula
    9.