Andrey N.Chernikov和Jing Xu：计算机辅助证明Marching Cubes算法的正确性。(2013) conf/imr/ChernikovX13 10.1007/978-3-319-02335-9_28 Marching Cubes算法正确性的计算机辅助证明。 2 安德烈·切尔尼科夫 1 静旭 2 505-523 IMR公司 IMR公司 2013 2014 dblp记录“conf/imr/ChernikovX13”的RDF数据的来源信息 2017-05-21T00:18:08+0200