Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : procee
User Rating: Be the first one!
Author: International Workshop on Automated Deduction in Geometry (2nd : 1998 : Beijing, China), Gao, Xiao-Shan, Wang, Dongming, Yang, Lu, 1936-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Geometry, Automatic theorem proving, Logic, Symbolic and mathematical
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540666729
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 116.71 MB
PDF Size: 5.43 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Edition: [Elektronische Ressource]
Downloads: 471
Views: 521
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 3 540 47997 X archive t...torrent
Last Modified: 2022-03-09 08:48:05
Download
Size: 8.66 KB
Description
Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66672-1
DOI: 10.1007/3-540-47997-X
Table of Contents:
Includes bibliographical references and index
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66672-1
DOI: 10.1007/3-540-47997-X
Table of Contents:
- Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
- Solving Geometric Problems with Real Quantifier Elimination
- Automated Discovering and Proving for Geometric Inequalities
- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
- Readable Machine Solving in Geometry and ICAI Software MSG
- Plane Euclidean Reasoning
- A Clifford Algebraic Method for Geometric Reasoning
- Clifford Term Rewriting for Geometric Reasoning in 3D
- Some Applications of Clifford Algebra to Geometries
- Decomposing Algebraic Varieties
- An Application of Automatic Theorem Proving in Computer Vision
- Automated Geometry Diagram Construction and Engineering Geometry
- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
- Variant Geometry Analysis and Synthesis in Mechanical CAD
Includes bibliographical references and index
You May Also Like
We will be happy to hear your thoughts