Automated deduction in geometry : Second International Workshop, ADG 98, Beijing, China, August 1 3, 1998 : proceedings
The Second International Workshop on Automated Deduction in Geometry (ADG 98) was held in Beijing, China, August 1 3, 1998. An increase of interest in ADG 98 over the previous workshop ADG 96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- ca...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science. Lecture notes in artificial intelligence
1669 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automated deduction in geometry, Second International Workshop, ADG '98, Beijing, China, August 1998, proceedings, Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.), 1999, Berlin, Springer, 1 vol. (VI-285 p.), Lecture notes in computer science, 3-540-66672-9 • Automated Deduction in Geometry, Texte imprimé, 9783662166161 |
| LEADER | 05044nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 972773 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229753 | ||
| 020 | |a 9783540479970 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Automated Deduction in Geometry |n (02 |d :1998 |c :Pékin). | |
| 245 | 1 | 0 | |a Automated deduction in geometry : |b Second International Workshop, ADG 98, Beijing, China, August 1 3, 1998 : proceedings |c [edited by] Xiao-Shan Gao, Dongming Wang, Lu Yang. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1669 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a The Second International Workshop on Automated Deduction in Geometry (ADG 98) was held in Beijing, China, August 1 3, 1998. An increase of interest in ADG 98 over the previous workshop ADG 96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG 98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG 98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Traitement d'images | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Géométrie |x Informatique | ||
| 650 | |a Géométrie | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Gao, Xiao-Shan. |4 pbd | |
| 700 | 1 | |a Wang, Dongming, |d 1961-...., |c mathématicien. |4 pbd | |
| 700 | 1 | |a Yang, Lu, |d 1936- |4 pbd | |
| 776 | 0 | |0 046625402 |t Automated deduction in geometry |o Second International Workshop, ADG '98, Beijing, China, August 1998 |o proceedings |f Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.) |d 1999 |c Berlin |n Springer |p 1 vol. (VI-285 p.) |s Lecture notes in computer science |z 3-540-66672-9 | |
| 776 | 0 | |t Automated Deduction in Geometry |b Texte imprimé |z 9783662166161 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-47997-X |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-989S8VBT-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750600330 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-47997-X |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753961032 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-47997-X |z Accès INSA CVL | |
| 997 | |0 972773 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||