Automated Deduction in GeometryDongming Wang
Automated Deduction in Geometry
Dongming Wang · 1998
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1998
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 235
- ISBN
- 9783540642978
Data source: Wikidata
More by Dongming Wang
Elimination MethodsDongming Wang
Elimination Methods
Dongming Wang · 2001
Mathematics Mechanization and ApplicationsDongming Wang
Mathematics Mechanization and Applications
Dongming Wang · 2000
Symbolic-numeric computationDongming Wang
Symbolic-numeric computation
Dongming Wang · 2007
Differential Equations with Symbolic Computation (Trends in Mathematics)Dongming Wang
Differential Equations with Symbolic Computation (Trends in Mathematics)
Dongming Wang · 2005
Differential equations with symbolic computationDongming Wang
Differential equations with symbolic computation
Dongming Wang · 2005
Automated practical reasoningDongming Wang
Automated practical reasoning
Dongming Wang · 1995
Kai guo ling xiu Mao Zedong yu ShandongDongming Wang
Kai guo ling xiu Mao Zedong yu Shandong
Dongming Wang · 2009
Tang mo Yuan chu si bai nianDongming Wang
Tang mo Yuan chu si bai nian
Dongming Wang · 2015