Author:
Chen Xiaoyu,Li Wei,Luo Jie,Wang Dongming
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Deduction and Knowledge Management in Geometry;Mathematics in Computer Science;2020-06-25
2. : A Linear Algebra Textbook System;Artificial Intelligence and Symbolic Computation;2018
3. Research and Trends in the Studies of Collective Intelligence from 2012 to 2015;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2016-11-13
4. Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management;Automated Deduction in Geometry;2013