Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers

Jürgen Richter-Gebert; Dongming Wang

Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers

Chair of Geometry and Visualization

Centre de Recherche Institut du Cerveau et de la Moelle

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers
Editors	Jurgen Richter-Gebert, Dongming Wang
Publisher	Springer Verlag
Pages	5
Number of pages	1
ISBN (Print)	3540425985, 9783540425984
State	Published - 2001
Event	3rd International Workshop on Automated Deduction in Geometry, ADG 2000 - Zurich, Switzerland Duration: 25 Sep 2000 → 27 Sep 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2061
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Workshop on Automated Deduction in Geometry, ADG 2000
Country/Territory	Switzerland
City	Zurich
Period	25/09/00 → 27/09/00

Cite this

Richter-Gebert, J., & Wang, D. (2001). Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers. In J. Richter-Gebert, & D. Wang (Eds.), Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers (pp. 5). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2061). Springer Verlag.

Richter-Gebert, Jürgen ; Wang, Dongming. / Automated Deduction in Geometry : Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers. Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers. editor / Jurgen Richter-Gebert ; Dongming Wang. Springer Verlag, 2001. pp. 5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{dc77b0f0ec314c2d84500445e13e1be5,

title = "Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers",

author = "J{\"u}rgen Richter-Gebert and Dongming Wang",

year = "2001",

language = "English",

isbn = "3540425985",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "5",

editor = "Jurgen Richter-Gebert and Dongming Wang",

booktitle = "Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers",

note = "3rd International Workshop on Automated Deduction in Geometry, ADG 2000 ; Conference date: 25-09-2000 Through 27-09-2000",

}

Richter-Gebert, J & Wang, D 2001, Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers. in J Richter-Gebert & D Wang (eds), Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2061, Springer Verlag, pp. 5, 3rd International Workshop on Automated Deduction in Geometry, ADG 2000, Zurich, Switzerland, 25/09/00.

Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers. / Richter-Gebert, Jürgen; Wang, Dongming.
Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers. ed. / Jurgen Richter-Gebert; Dongming Wang. Springer Verlag, 2001. p. 5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2061).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automated Deduction in Geometry

T2 - 3rd International Workshop on Automated Deduction in Geometry, ADG 2000

AU - Richter-Gebert, Jürgen

AU - Wang, Dongming

PY - 2001

Y1 - 2001

UR - http://www.scopus.com/inward/record.url?scp=84949500818&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84949500818

SN - 3540425985

SN - 9783540425984

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 5

BT - Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers

A2 - Richter-Gebert, Jurgen

A2 - Wang, Dongming

PB - Springer Verlag

Y2 - 25 September 2000 through 27 September 2000

ER -

Richter-Gebert J, Wang D. Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers. In Richter-Gebert J, Wang D, editors, Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers. Springer Verlag. 2001. p. 5. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers

Publication series

Conference

Other files and links

Cite this