scientific article

DOI10.13328/J.CNKI.JOS.004977zbMath1363.68153MaRDI QIDQ2824411

Jie Zhang, Sha Ma, Liming Li, Xiaoyu Song, Yong Guan, Zhiping Shi

Publication date: 6 October 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provingformal verificationgeometric algebrageometric product

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• HOL Light

This page was built for publication: