RISC Colloquium
Filed under:
Talk
Prof. Dongming Wang (Université Pierre et Marie Curie, Paris), Xiaoyu Chen (Beihang University, Beijing): Formalization and Management of Geometric Knowledge
