Representation and automated transformation of geometric statements |
| |
Authors: | Xiaoyu Chen |
| |
Institution: | 1. State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, 100191, China
|
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|