Automated deduction in geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7993 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XV, 192 S.) graph. Darst. |
| ISBN: | 9783642406713 9783642406720 |
| DOI: | 10.1007/978-3-642-40672-0 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041441253 | ||
| 003 | DE-604 | ||
| 005 | 20140402 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131125s2013 xx d||| o|||| 10||| 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 DAT 706f |2 stub | ||
| 084 | |a DAT 000 |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 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 |
| 650 | 0 | 7 | |a Geometrie |0 (DE-588)4020236-7 |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 | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026888009 | |
Record in the Search Index
| _version_ | 1820875541411004416 |
|---|---|
| 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 706f DAT 000 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041441253</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140402</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131125s2013 xx d||| o|||| 10||| 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">DAT 706f</subfield><subfield code="2">stub</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">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">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="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="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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" 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 | Illustrated |
| indexdate | 2025-01-10T15:17:15Z |
| 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 Geometrische Modellierung (DE-588)4156717-1 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Geometrie (DE-588)4020236-7 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 Geometrische Modellierung (DE-588)4156717-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| subject_GND | (DE-588)4156717-1 (DE-588)4069034-9 (DE-588)4020236-7 (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 | Geometrische Modellierung (DE-588)4156717-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| topic_facet | Geometrische Modellierung Automatisches Beweisverfahren Geometrie 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 |