Results for author 'Dongfeng Wang'

Automated Deduction in Geometry

International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Geometric Computation

Lecture Notes Series on Computing

Elimination Practice : Software Tools and Applications

Software Tools and Applications

Electronic Engineering

Proceedings of the 4th International Conference of Electronic Engineering and Information Science (ICEEIS 2017), January 7-8, 2017, Haikou, P.R. China

Information Science and Electronic Engineering

Proceedings of the 3rd International Conference of Electronic Engineering and Information Science (ICEEIS 2016), January 4-5, 2016, Harbin, China

Grobner Bases in Symbolic Analysis

Radon Series on Computational and Applied Mathematics

Symbolic Computation And Education

Electronic Engineering and Information Science

Proceedings of the International Conference of Electronic Engineering and Information Science 2015 (ICEEIS 2015), January 17-18, 2015, Harbin, China

Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2000)

Lecture Notes Series on Computing

Electronic Engineering and Information Science

Proceedings of the International Conference of Electronic Engineering and Information Science 2015 (ICEEIS 2015), January 17-18, 2015, Harbin, China