。 。 。 。 。 “Andrey N.Chernikov和Jing Xu：计算机辅助证明Marching Cubes算法的正确性。（2013）”。 。 _：ID_63d352a9f9416020758e8788e411455f。_：ID_63d352a9f9416020758e8788e411455f 。_：ID_63d352a9f9416020758e8788e411455f 。_：ID_63d352a9f9416020758e8788e411455f 。_：ID_63d352a9f9416020758e8788e411455f“conf/imr/ChernikovX13”。 _：ID_b6 e6 aef0 c4 cc1 e4 a6 f6 a6 d10 c18 9782。_：ID_b6 e6 aef0 c4 cc1 e6 a6 f6 a6 d10 c12 9782 。_：ID_b6 e6 aef0 c4 cc1 e6 a6 f6 a6 d10 c12 9782 。_：ID_b6 e6 aef0 c4 cc1 e6 a6 f6 a6 d10 c12 9782 。_：ID_b6 e6 aef0 c4 cc1 e6 a6 f6 a6 d10 c12 9782“10.1007/978-3-319-02335-9_28”。 “Marching Cubes算法正确性的计算机辅助证明”。 。 。 。 。 。 "2"^^。 _：Sig_4a614df12a8b0ddc5c1c82d0155af31b_1。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_1 。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_1 。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_1“安德烈·N·切尔尼科夫”。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_1 。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_1“1”^^。_：信号_4a614df12a8b0dc5c1c82d0155af31b_1 。 _：Sig_4a614df12a8b0ddc5c1c82d0155af31b_2。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_2 。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_2 。_：信号_4a614df12a8b0dc5c1c82d0155af31b_2“京旭”。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_2 。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_2"2"^^。_：Sig_4a614df12a8b0ddc5c1c82d0155af31b_2 。 。 。 。 。 。 "505-523" . “IMR”。 “IMR”。 “2013年”^^。 "2014"^^。 。 “dblp记录'conf/imr/ChernikovX13'的RDF数据的来源信息”。 。 。 。 “2017-05-21T00:18:08+0200”。