Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(138)
Dongming Wang
12
Xiaoshan Gao
7
Yang Lu
7
Li Hongbo
4
Zhenbing Zeng (曾振柄)
3
Tomas Recio (Tomás Recio)
3
Jurgen RichterGebert (Jürgen RichterGebert)
3
Jacques D. Fleuriot
3
Desmond Fearnleysander
3
Timothy Stokes
3
Keywords
(196)
Subscribe
Academic
Conferences
ADG  Automated Deduction in Geometry
Automated Deduction in Geometry,ADG,Algorithms & Theory
ADG  Automated Deduction in Geometry
Publications: 102

Citation Count: 332 (SelfCitation: 43)
Year Range: 19962008
Fields of study:
Algorithms & Theory
Homepage
Cumulative
Annual
Sort by:
Publications
(102)
On the Design and Implementation of a Geometric Knowledge Base
(
Citations: 1
)
Xiaoyu Chen
,
Ying Huang
,
Dongming Wang
Conference:
Automated Deduction in Geometry  ADG
, pp. 2241, 2008
Unique Factorization Domains in the Java Computer Algebra System
(
Citations: 1
)
Heinz Kredel
Conference:
Automated Deduction in Geometry  ADG
, pp. 86115, 2008
Formalizing Projective Plane Geometry in Coq
(
Citations: 1
)
Nicolas Magaud
,
Julien Narboux
,
Pascal Schreck
Conference:
Automated Deduction in Geometry  ADG
, pp. 141162, 2008
Multivariate Resultants in Bernstein Basis
Deepak Kapurand
,
Manfred Minimair
Conference:
Automated Deduction in Geometry  ADG
, pp. 6085, 2008
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
Benjamin Grégoire
,
Loïc Pottier
,
Laurent Théry
Conference:
Automated Deduction in Geometry  ADG
, pp. 4259, 2008