Automated deduction in geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7993 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XV, 192 S.) graph. Darst. |
| ISBN: | 9783642406713 9783642406720 |
| DOI: | 10.1007/978-3-642-40672-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041441253 | ||
| 003 | DE-604 | ||
| 005 | 20140402 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131125s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642406713 |9 978-3-642-40671-3 | ||
| 020 | |a 9783642406720 |c Online |9 978-3-642-40672-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-40672-0 |2 doi | |
| 035 | |a (OCoLC)864523287 | ||
| 035 | |a (DE-599)BVBBV041441253 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a MAT 500f |2 stub | ||
| 084 | |a DAT 702f |2 stub | ||
| 245 | 1 | 0 | |a Automated deduction in geometry |b 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers |c Tetsuo Ida ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XV, 192 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7993 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Geometrie |0 (DE-588)4020236-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Geometrische Modellierung |0 (DE-588)4156717-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Edinburgh |2 gnd-content | |
| 689 | 0 | 0 | |a Geometrie |0 (DE-588)4020236-7 |D s |
| 689 | 0 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 2 | |a Geometrische Modellierung |0 (DE-588)4156717-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ida, Tetsuo |0 (DE-588)1045784532 |4 edt | |
| 711 | 2 | |a ADG |n 9 |d 2012 |c Edinburgh |j Sonstige |0 (DE-588)1043849289 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7993 : Lecture notes in artificial intelligence |w (DE-604)BV014880109 |9 7993 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40672-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026888009 | ||
Datensatz im Suchindex
| _version_ | 1804151560327921664 |
|---|---|
| adam_text | AUTOMATED DEDUCTION IN GEOMETRY
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
AUTOMATED DEDUCTION IN GEOMETRY
/
: 2013
ABSTRACT / INHALTSTEXT
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Ida, Tetsuo |
| author2_role | edt |
| author2_variant | t i ti |
| author_GND | (DE-588)1045784532 |
| author_facet | Ida, Tetsuo |
| building | Verbundindex |
| bvnumber | BV041441253 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 706f MAT 500f DAT 702f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)864523287 (DE-599)BVBBV041441253 |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-642-40672-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02682nmm a2200529 cb4500</leader><controlfield tag="001">BV041441253</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140402 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131125s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642406713</subfield><subfield code="9">978-3-642-40671-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642406720</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-40672-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40672-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864523287</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041441253</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated deduction in geometry</subfield><subfield code="b">9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers</subfield><subfield code="c">Tetsuo Ida ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 192 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7993 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geometrie</subfield><subfield code="0">(DE-588)4020236-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geometrische Modellierung</subfield><subfield code="0">(DE-588)4156717-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Edinburgh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Geometrie</subfield><subfield code="0">(DE-588)4020236-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Geometrische Modellierung</subfield><subfield code="0">(DE-588)4156717-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ida, Tetsuo</subfield><subfield code="0">(DE-588)1045784532</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ADG</subfield><subfield code="n">9</subfield><subfield code="d">2012</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1043849289</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7993 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7993</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40672-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026888009</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Edinburgh gnd-content |
| genre_facet | Konferenzschrift 2012 Edinburgh |
| id | DE-604.BV041441253 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:56:45Z |
| institution | BVB |
| institution_GND | (DE-588)1043849289 |
| isbn | 9783642406713 9783642406720 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026888009 |
| oclc_num | 864523287 |
| open_access_boolean | |
| owner | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XV, 192 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers Tetsuo Ida ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XV, 192 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7993 : Lecture notes in artificial intelligence Geometrie (DE-588)4020236-7 gnd rswk-swf Geometrische Modellierung (DE-588)4156717-1 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Edinburgh gnd-content Geometrie (DE-588)4020236-7 s Automatisches Beweisverfahren (DE-588)4069034-9 s Geometrische Modellierung (DE-588)4156717-1 s DE-604 Ida, Tetsuo (DE-588)1045784532 edt ADG 9 2012 Edinburgh Sonstige (DE-588)1043849289 oth Lecture notes in computer science 7993 : Lecture notes in artificial intelligence (DE-604)BV014880109 7993 https://doi.org/10.1007/978-3-642-40672-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers Lecture notes in computer science Geometrie (DE-588)4020236-7 gnd Geometrische Modellierung (DE-588)4156717-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4020236-7 (DE-588)4156717-1 (DE-588)4069034-9 (DE-588)1071861417 |
| title | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers |
| title_auth | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers |
| title_exact_search | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers |
| title_full | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers Tetsuo Ida ... (eds.) |
| title_fullStr | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers Tetsuo Ida ... (eds.) |
| title_full_unstemmed | Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers Tetsuo Ida ... (eds.) |
| title_short | Automated deduction in geometry |
| title_sort | automated deduction in geometry 9th international workshop adg 2012 edinburgh uk september 17 19 2012 revised selected papers |
| title_sub | 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers |
| topic | Geometrie (DE-588)4020236-7 gnd Geometrische Modellierung (DE-588)4156717-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Geometrie Geometrische Modellierung Automatisches Beweisverfahren Konferenzschrift 2012 Edinburgh |
| url | https://doi.org/10.1007/978-3-642-40672-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026888009&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT idatetsuo automateddeductioningeometry9thinternationalworkshopadg2012edinburghukseptember17192012revisedselectedpapers AT adgedinburgh automateddeductioningeometry9thinternationalworkshopadg2012edinburghukseptember17192012revisedselectedpapers |