Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: geometric computation*
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"
Search alternatives
:
geometric computation »
geometry computational
,
geometric computing
Showing
1
-
8
of
8
Search:
'geometric computation*'
,
query time: 0.26s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
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:
“
... of Rational Curves -- Operator Calculus Approach to Solving Analytic Systems -- Solving Dynamic
Geometric
...
”
Read Now
2
Symbolic-Numeric Computation
Published 2007
Birkhäuser
Table of Contents:
“
... of
Geometric
Problems -- Symbolic Computation Sequences and Numerical Analytic Geometry Applied to Multibody...
”
Read Now
3
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:
“
...Automated
geometric
reasoning: Dixon resultants, Gröbner bases, and characteristic sets -- Extended...
”
Read Now
4
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
5
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:
“
...On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving
Geometric
Constraint...
”
Read Now
6
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
7
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:
“
... Regular Heptagon with Automated Proof of Its Correctness -- Proving
Geometric
Theorems by Partitioned...
”
Read Now
8
Automated Practical Reasoning : Algebraic Approaches
Published 1995
Springer Vienna
Table of Contents:
“
... of
geometric
objects -- References -- An implementation of the characteristic set method in Maple -- 1...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Wang, Dongming
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
3
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
Springer eBooks 2005-
3
Elsevier eBook collection Mathematics
1
Author
Wang, Dongming
Calmet, Jaques
1
Gao, Xiao-Shan
1
Gao, Xiao-lu
1
Hong, Hoon
1
Ida, Tetsuo
1
more ...
Pfalzgraf, Jochen
1
Richter-Gebert, Jürgen
1
Yang, Lu
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=geometric+computation%2A&type=AllFields
Send by Email
×
Loading...