Nantilus
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rou...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. |
| Édition : | 1st ed. 2013. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Lecture Notes in Artificial Intelligence ; 7993 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | 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 |
| Contenu : | Proof and Computation in Geometry. Automation of Geometry: Theorem Proving, Diagram. Generation, and Knowledge Management. Improving Angular Speed Uniformity by C1 Piecewise Reparameterization. Extending the Descartes Circle Theorem for Steiner n-Cycles. Equation Systems with Free-Coordinates Determinants. Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls. Realizations of Volume Frameworks. Rigidity of Origami Universal Molecules. Algebraic Analysis of Huzita s Origami Operations and Their Extensions. On the Formal Analysis of Geometrical Optics in HOL. Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs |
| Sujets : | |
| Documents associés : | Autre format:
Automated Deduction in Geometry Autre format: Automated Deduction in Geometry |
| LEADER | 04404clm a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN17242982X | ||
| 003 | http://www.sudoc.fr/17242982X | ||
| 005 | 20241001155400.0 | ||
| 010 | |a 978-3-642-40672-0 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-40672-0 |2 DOI |
| 035 | |a (OCoLC)870330375 | ||
| 035 | |a Springer978-3-642-40672-0 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-40672-0 | ||
| 035 | |a Springer-11645-978-3-642-40672-0 | ||
| 100 | |a 20131018f20 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Automated Deduction in Geometry |e 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers |f edited by Tetsuo Ida, Jacques Fleuriot. | |
| 205 | |a 1st ed. 2013. | ||
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 225 | 0 | |a Lecture Notes in Artificial Intelligence |x 2945-9141 |v 7993 | |
| 327 | 1 | |a Proof and Computation in Geometry |a Automation of Geometry: Theorem Proving, Diagram |a Generation, and Knowledge Management |a Improving Angular Speed Uniformity by C1 Piecewise Reparameterization |a Extending the Descartes Circle Theorem for Steiner n-Cycles |a Equation Systems with Free-Coordinates Determinants |a Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls |a Realizations of Volume Frameworks |a Rigidity of Origami Universal Molecules |a Algebraic Analysis of Huzita s Origami Operations and Their Extensions |a On the Formal Analysis of Geometrical Optics in HOL |a Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs | |
| 330 | |a This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry | ||
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |t Lecture Notes in Artificial Intelligence |x 2945-9141 |v 7993 | |
| 452 | | | |t Automated Deduction in Geometry |b Texte imprimé |y 9783642406713 | |
| 452 | | | |t Automated Deduction in Geometry |b Texte imprimé |y 9783642406737 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Computer Graphics | |
| 610 | 2 | |a Symbolic and Algebraic Manipulation | |
| 610 | 2 | |a Discrete Mathematics in Computer Science | |
| 610 | 2 | |a Software Engineering | |
| 610 | 1 | |a Artificial Intelligence. | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 006.3 |v 23 | ||
| 680 | |a Q334-342 | ||
| 680 | |a TJ210.2-211.495 | ||
| 700 | 1 | |a Ida |b Tetsuo |4 651 | |
| 701 | 1 | |a Fleuriot |b Jacques |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20221123 |g AACR2 | |
| 856 | 4 | |z Accès sur la plateforme de l'éditeur (Springer) |q PDF |u https://doi.org/10.1007/978-3-642-40672-0 | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CJLX95PX-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830861637 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-40672-0 | |
| 915 | |5 441099901:830861637 |b SPRING13-01138 | ||
| 930 | |5 441099901:830861637 |b 441099901 |j g | ||
| 991 | |5 441099901:830861637 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 | ||
| 997 | |a NUM |b SPRING13-01138 |d NUMpivo |e EM |s d | ||
| 998 | |a 978983 | ||