Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Symbolic-Numeric Computation
Symbolic-Numeric Computation
Author 
Wang, Dongming. editor. Zhi, Lihong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-7984-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Differential Equations with Symbolic Computation
Differential Equations with Symbolic Computation
Author 
Wang, Dongming. editor. Zheng, Zhiming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7429-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematics mechanization and applications
Mathematics mechanization and applications
Author 
Gao, Xiao-Shan. Wang, Dongming, 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780127347608
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
Author 
Hong, Hoon. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11615798
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Author 
Fleuriot, Jacques. editor. Wang, Dongming. editor. Calmet, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99957-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
Author 
Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11856290
Format: 
Availability 
Online Library~1
Available:
Copies: