馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Elimination practice : software tools and applications /

Main Authors: Wang, Dongming, 1961
Corporate Authors: World Scientific Firm
Published: Imperial College Press ; Distributed by World Scientific Pub. Co.,
Publication Dates: 2004.

eBook

2

Cover is for reference only

Elimination practice：software tools and applications

Main Authors: Wang Dongming
Published: Imperial College Press Distributed by World Scientific,
Publication Dates: c2004.
Call Number: O241.6-39/W246

Book

3

Cover is for reference only

Elimination methods

Main Authors: Wang Dongming
Published: Springer,
Publication Dates: 2000.
Call Number: O241.6/W246

Book

4

Cover is for reference only

Automated deduction in geometry：International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

Corporate Authors: International Workshop on Automated Deduction in Geometry (1st 1996 Toulouse, France
Group Author: Wang Dongming
Published: Springer,
Publication Dates: c1998.
Call Number: O18-532/I618/1996

Book

5

Cover is for reference only

Automated practical reasoning：algebraic approaches

Group Author: Pfalzgraf Jochen; Wang Dongming
Published: Springer-Verlag,
Publication Dates: c1995.
Call Number: O141.2/A939/

Book

6

Cover is for reference only

Geometric computation /

Corporate Authors: World Scientific Firm
Group Author: Chen, Falai; Wang, Dongming, 1961
Published: World Scientific Pub. Co.,
Publication Dates: 2004.

eBook

7

Cover is for reference only

Automated deduction in geometry：5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

Corporate Authors: International Workshop on Automated Deduction in Geometry (5th 2004 Gainesville, Fla
Group Author: Wang Dongming 1961-; Hong Hoon
Published: Springer,
Publication Dates: c2006.
Call Number: O18-532/A939/2004

Book

8

Cover is for reference only

Computer mathematics：proceedings of the Fourth Asian Symposium (ASCM 2000) : Chiang Mai, Thailand, December 17-20, 2000

Corporate Authors: Asian Symposium on Computer Mathematics (4th 2000 Chiang Mai, Thailand
Group Author: Gao Xiao-shan; Wang Dongming
Published: World Scientific,
Publication Dates: c2000.
Call Number: TP301.6-532/A832/2000

Book

9

Cover is for reference only

Symbolic computation and education /

Corporate Authors: World Scientific Firm
Group Author: Li, Shangzhi; Wang, Dongming; Zhang, Jingzhong, 1936
Published: World Scientific Pub.,
Publication Dates: 2007.

eBook

10

Cover is for reference only

Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000) /

Corporate Authors: Asian Symposium on Computer Mathematics Chiang Mai, Thailand; World Scientific Firm
Group Author: Gao, Xiao-Shan; Wang, Dongming, 1961
Published: World Scientific Pub. Co.,
Publication Dates: 2000.

eBook

11

Cover is for reference only

Mathematics mechanization and applications /

Corporate Authors: Elsevier Science & Technology
Group Author: Gao, Xiao-Shan; Wang, Dongming, 1961
Published: Academic Press,
Publication Dates: 2000.

eBook

12

Cover is for reference only

Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, proceedings /

Corporate Authors: AISC Conference Suzhou, Jiangsu Sheng, China
Group Author: Fleuriot, Jacques, 1972; Wang, Dongming, 1961; Calmet, Jacques
Published: Springer,
Publication Dates: [2018]
Call Number: TP18-532/A791-3/2018

Book

13

Cover is for reference only

Gröbner bases in symbolic analysis /

Corporate Authors: Special Semester on Gröbner Bases and Related Methods Linz, Austria); De Gruyter.; ebrary, Inc.; Radon Institute for Computational and Applied Mathematics; Special Semester on Gröbner Bases and Related Methods
Group Author: Rosenkranz, Markus, 1971-; Wang, Dongming, 1961-
Published: De Gruyter,
Publication Dates: 2011.

eBook

14

Cover is for reference only

Gröbner bases in symbolic analysis

Corporate Authors: Special Semester on Gröbner Bases and Related Methods (2006 Linz, Austria); Radon Institute for Computational and Applied Mathematics
Group Author: Rosenkranz Markus 1971-; Wang Dongming 1961-
Published: Walter De Gruyter,
Publication Dates: c2007.
Call Number: O175-532/G873/2006

Book

15

Cover is for reference only

Artificial intelligence and symbolic computation：8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings

Corporate Authors: AISC 2006 (2006 Beijing, China
Group Author: Ida Tetsuo; Wang Dongming 1961-; Calmet Jacques
Published: Springer,
Publication Dates: 2006.
Call Number: TP18-532/A791/2006

Book

16

Cover is for reference only

Automated deduction in geometry：third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

Corporate Authors: International Workshop on Automated Deduction in Geometry (3rd 2000 Zurich, Switzerland
Group Author: Wang Dongming; Richter-Gebert Jürgen 1963-
Published: Springer,
Publication Dates: c2001.
Call Number: O18-532/A939/2000

Book

17

Cover is for reference only

Automated deduction in geometry：Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings

Corporate Authors: International Workshop on Automated Deduction in Geometry (2nd 1998 Beijing, China
Group Author: Wang Dongming; Yang Lu 1936-; Gao Xiao-shan
Published: Springer,
Publication Dates: 1999.
Call Number: O18-532/A939/1998

Book

18

Cover is for reference only

Symbolic computation and education

Corporate Authors: International Seminar on Symbolic Computation in Education (2006 Beihang University
Group Author: Li Shangzhi 1947-; Wang Dongming 1961-; Zhang Jingzhong 1936-
Published: World Scientific,
Publication Dates: 2007.
Call Number: O1-532/I619/2006

Book

19

Cover is for reference only

Symbolic-numeric computation

Main Authors: Wang Dongming. 1961-
Corporate Authors: SpringerLink (Online service)
Group Author: Zhi Lihong.
Published: Birkhauser Verlag AG Basel Boston Berlin,
Publication Dates: c2007.

Book

20

Cover is for reference only

Automated deduction in geometry：5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

Corporate Authors: International Workshop on Automated Deduction in Geometry (5th 2004 Gainesville, Fla.); SpringerLink (Online service)
Group Author: Wang Dongming. 1961-; Hong Hoon.
Published: Springer,
Publication Dates: c2006.

Book

Related Subjects