researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Conference series
adg 1999: Automated Deduction in Geometry 1999
in ,
Conference
Call for Papers
Program
About the Conference
Conference Dates
Proceedings
Xiao-Shan Gao
,
Dongming Wang
,
Lu Yang
, editors,
Automated Deduction in Geometry, Second International Workshop, ADG 98, Beijing, China, August 1-3, 1998, Proceedings
.
Volume 1669 of
Lecture Notes in Computer Science
, Springer,
1999.