Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: Geometry
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Wang, Dongming"
Showing
1
-
11
of
11
Search:
'Geometry'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Automated Deduction in
Geometry
: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Testing of Radical Expressions and Elementary
Geometry
Theorem Proving -- Algebraic and Semialgebraic...
”
Read Now
2
Automated Deduction in
Geometry
: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... Dixon's resultant and its applications -- Computational
geometry
problems in REDLOG -- Probabilistic...
”
Read Now
3
Automated Deduction in
Geometry
: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...Automatic
Geometry
Theorem-Proving and Automatic
Geometry
Problem-Solving -- Solving Geometric...
”
Read Now
4
Automated Deduction in
Geometry
: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...Mechanical Theorem Proving in Computational
Geometry
-- Computational Origami Construction of a...
”
Read Now
5
Automated Deduction in
Geometry
: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
by
Wang, Dongming
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Geometry
...
”
Read Now
6
Automated Deduction in
Geometry
: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
by
Richter-Gebert, Jürgen
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Geometry
...
”
Read Now
7
Automated Deduction in
Geometry
: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings
by
Gao, Xiao-Shan
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Geometry
...
”
Read Now
8
Mathematics mechanization and applications
by
Gao, Xiao-Shan
Published 2000
Academic Press
Table of Contents:
“
... by Wu's Method. Automated Geometric Reasoning: S. Chou, D. Lin, Wu's Method for Automated
Geometry
...
”
Call Number:
QA218
Read Now
9
Automated Practical Reasoning : Algebraic Approaches
Published 1995
Springer Vienna
Table of Contents:
“
...On algorithmic parametrization methods in algebraic
geometry
-- 1 Introduction -- 2 Rational...
”
Read Now
10
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Presentations -- Interactive Mathematical Documents -- Algebra and
Geometry
-- An Inductive...
”
Read Now
11
Symbolic-Numeric Computation
Published 2007
Birkhäuser
Table of Contents:
“
... of Geometric Problems -- Symbolic Computation Sequences and Numerical Analytic
Geometry
Applied to Multibody...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Wang, Dongming
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
6
006 - Special computer methods
3
511 - General principles of mathematics
1
512 - Algebra
1
518 - Numerical analysis
1
Language
English
8
Collection
Springer Book Archives -2004
4
Lecture Notes in Computer Science
3
Springer eBooks 2005-
3
Elsevier eBook collection Mathematics
1
Author
Wang, Dongming
Gao, Xiao-Shan
2
Richter-Gebert, Jürgen
2
Yang, Lu
2
Calmet, Jaques
1
Gao, Xiao-lu
1
more ...
Hong, Hoon
1
Ida, Tetsuo
1
Pfalzgraf, Jochen
1
Zhi, Li-Hong
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Wang%2C+Dongming%22&lookfor=Geometry&type=AllFields
Send by Email
×
Loading...