- 2 402 202 книги
- Поиск
Symbolic Computation And Education
Автор: Dongming WangКатегория: Образование
Размер книги: 7.10 Mb
Differential Equations with Symbolic Computation
Автор: Dongming Wang, Автор: Zhiming ZhengКатегория: Математика, Дифференциальные уравнения
Размер книги: 10.27 Mb
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)
Автор: Xiao-Shan Gao, Автор: Dongming Wang, Автор: Lu Yang
Размер книги: 2.80 Mb
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence)
Автор: Jürgen Richter-Gebert, Автор: Dongming Wang
Размер книги: 2.01 Mb
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence)
Автор: Hoon Hong, Автор: Dongming Wang
Размер книги: 2.81 Mb
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)
Автор: Xiao-Shan Gao; Dongming Wang (eds.)
Размер книги: 14.30 Mb
Differential Equations With Symbolic Computation
Автор: Dongming Wang, Автор: Zhiming ZhengКатегория: Computer science, Computer algebra
Размер книги: 2.98 Mb
Differential Equations With Symbolic Computation
Автор: Dongming Wang, Автор: Zhiming Zheng
Размер книги: 9.94 Mb
Elimination Practice: Software Tools and Applications (With CD-Rom)
Автор: Dongming WangКатегория: Computer Science, Software Engineering
Размер книги: 10.28 Mb
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Автор: Dongming Wang
Размер книги: 2.25 Mb
Differential Equations with Symbolic Computation
Автор: Dongming Wang, Автор: Zhiming Zheng
Размер книги: 10.47 Mb
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Автор: Xiao-Shan Gao, Автор: Dongming Wang, Автор: Lu Yang
Размер книги: 3.32 Mb
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Автор: Jürgen Richter-Gebert, Автор: Dongming Wang
Размер книги: 2.43 Mb
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Автор: Jaques Calmet, Автор: Tetsuo Ida, Автор: Dongming Wang
Размер книги: 3.01 Mb
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Автор: Hoon Hong, Автор: Dongming Wang
Размер книги: 2.62 Mb