安德烈·切尔尼科夫 静旭 Marching Cubes算法正确性的计算机辅助证明。 505-523 2013 IMR公司 https://doi.org/10.1007/978-3-319-02335-9_28 http://imr.sandia.gov/papers/abstracts/Ch690.html conf/imr/2013 db/conf/imr/imr2013.html#ChernikovX13