Your search returned 4 results.

Not what you expected? Check for suggestions
1.
Automated Deduction in Geometry

by Xiao-lu Gao, Dongming Wang, Lu Yang.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Automated Deduction in Geometry

by Dongming Wang.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Differential Equations with Symbolic Computation

by Dongming Wang, Zhiming Zheng.

Series: Trends in MathematicsEdition: 2005Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Basel 2005Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

4.
Symbolic-Numeric Computation

by Dongming Wang, Li-Hong Zhi.

Series: Trends in MathematicsEdition: 2007Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Basel 2007Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .