Machine proofs in geometry : automated production of readable proofs for geometry theorems:
This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems. The book begins with chapters introducing the method at...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1995
|
| Schriftenreihe: | Series on applied mathematics
v. 6 |
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems. The book begins with chapters introducing the method at an elementary level, which are accessible to high school students; latter chapters concentrate on the main theme: the algorithms and computer implementation of the method. This book brings researchers in artificial intelligence, computer science and mathematics to a new research frontier of automated geometry reasoning. In addition, it can be used as a supplementary geometry textbook for students, teachers and geometers. By presenting a systematic way of proving geometry theorems, it makes the learning and teaching of geometry easier and may change the way of geometry education |
| Beschreibung: | xx, 461 p. ill |
| ISBN: | 9789812798152 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044635928 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1995 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812798152 |9 978-981-279-815-2 | ||
| 024 | 7 | |a 10.1142/2196 |2 doi | |
| 035 | |a (ZDB-124-WOP)00005057 | ||
| 035 | |a (OCoLC)1012623475 | ||
| 035 | |a (DE-599)BVBBV044635928 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 516.0028551 |2 22 | |
| 084 | |a SK 380 |0 (DE-625)143235: |2 rvk | ||
| 100 | 1 | |a Chou, Shang-Ching |d 1946- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Machine proofs in geometry : automated production of readable proofs for geometry theorems |c Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1995 | |
| 300 | |a xx, 461 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Series on applied mathematics |v v. 6 | |
| 520 | |a This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems. The book begins with chapters introducing the method at an elementary level, which are accessible to high school students; latter chapters concentrate on the main theme: the algorithms and computer implementation of the method. This book brings researchers in artificial intelligence, computer science and mathematics to a new research frontier of automated geometry reasoning. In addition, it can be used as a supplementary geometry textbook for students, teachers and geometers. By presenting a systematic way of proving geometry theorems, it makes the learning and teaching of geometry easier and may change the way of geometry education | ||
| 650 | 4 | |a Axioms / Data processing | |
| 650 | 4 | |a Automatic theorem proving | |
| 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 |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 1 | |a Geometrie |0 (DE-588)4020236-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Gao, Xiao-shan |e Sonstige |4 oth | |
| 700 | 1 | |a Zhang, Jingzhong |d 1936- |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810215842 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810215843 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030033899 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178049611071488 |
|---|---|
| any_adam_object | |
| author | Chou, Shang-Ching 1946- |
| author_facet | Chou, Shang-Ching 1946- |
| author_role | aut |
| author_sort | Chou, Shang-Ching 1946- |
| author_variant | s c c scc |
| building | Verbundindex |
| bvnumber | BV044635928 |
| classification_rvk | SK 380 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00005057 (OCoLC)1012623475 (DE-599)BVBBV044635928 |
| dewey-full | 516.0028551 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 516 - Geometry |
| dewey-raw | 516.0028551 |
| dewey-search | 516.0028551 |
| dewey-sort | 3516.0028551 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02898nmm a2200505zcb4500</leader><controlfield tag="001">BV044635928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1995 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812798152</subfield><subfield code="9">978-981-279-815-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/2196</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00005057</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012623475</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044635928</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">516.0028551</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 380</subfield><subfield code="0">(DE-625)143235:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chou, Shang-Ching</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Machine proofs in geometry : automated production of readable proofs for geometry theorems</subfield><subfield code="c">Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xx, 461 p.</subfield><subfield code="b">ill</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="0" ind2=" "><subfield code="a">Series on applied mathematics</subfield><subfield code="v">v. 6</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems. The book begins with chapters introducing the method at an elementary level, which are accessible to high school students; latter chapters concentrate on the main theme: the algorithms and computer implementation of the method. This book brings researchers in artificial intelligence, computer science and mathematics to a new research frontier of automated geometry reasoning. In addition, it can be used as a supplementary geometry textbook for students, teachers and geometers. By presenting a systematic way of proving geometry theorems, it makes the learning and teaching of geometry easier and may change the way of geometry education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Axioms / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</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="689" ind1="0" ind2="0"><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="1"><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=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gao, Xiao-shan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhang, Jingzhong</subfield><subfield code="d">1936-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810215842</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810215843</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030033899</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044635928 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:48Z |
| institution | BVB |
| isbn | 9789812798152 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030033899 |
| oclc_num | 1012623475 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xx, 461 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | Series on applied mathematics |
| spelling | Chou, Shang-Ching 1946- Verfasser aut Machine proofs in geometry : automated production of readable proofs for geometry theorems Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang Singapore World Scientific Pub. Co. c1995 xx, 461 p. ill txt rdacontent c rdamedia cr rdacarrier Series on applied mathematics v. 6 This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems. The book begins with chapters introducing the method at an elementary level, which are accessible to high school students; latter chapters concentrate on the main theme: the algorithms and computer implementation of the method. This book brings researchers in artificial intelligence, computer science and mathematics to a new research frontier of automated geometry reasoning. In addition, it can be used as a supplementary geometry textbook for students, teachers and geometers. By presenting a systematic way of proving geometry theorems, it makes the learning and teaching of geometry easier and may change the way of geometry education Axioms / Data processing Automatic theorem proving Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Geometrie (DE-588)4020236-7 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 s Geometrie (DE-588)4020236-7 s 1\p DE-604 Gao, Xiao-shan Sonstige oth Zhang, Jingzhong 1936- Sonstige oth Erscheint auch als Druck-Ausgabe 9789810215842 Erscheint auch als Druck-Ausgabe 9810215843 http://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Chou, Shang-Ching 1946- Machine proofs in geometry : automated production of readable proofs for geometry theorems Axioms / Data processing Automatic theorem proving Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4020236-7 |
| title | Machine proofs in geometry : automated production of readable proofs for geometry theorems |
| title_auth | Machine proofs in geometry : automated production of readable proofs for geometry theorems |
| title_exact_search | Machine proofs in geometry : automated production of readable proofs for geometry theorems |
| title_full | Machine proofs in geometry : automated production of readable proofs for geometry theorems Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| title_fullStr | Machine proofs in geometry : automated production of readable proofs for geometry theorems Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| title_full_unstemmed | Machine proofs in geometry : automated production of readable proofs for geometry theorems Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| title_short | Machine proofs in geometry : automated production of readable proofs for geometry theorems |
| title_sort | machine proofs in geometry automated production of readable proofs for geometry theorems |
| topic | Axioms / Data processing Automatic theorem proving Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| topic_facet | Axioms / Data processing Automatic theorem proving Automatisches Beweisverfahren Geometrie |
| url | http://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc |
| work_keys_str_mv | AT choushangching machineproofsingeometryautomatedproductionofreadableproofsforgeometrytheorems AT gaoxiaoshan machineproofsingeometryautomatedproductionofreadableproofsforgeometrytheorems AT zhangjingzhong machineproofsingeometryautomatedproductionofreadableproofsforgeometrytheorems |