Automated inequality proving and discovering:
"This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical result...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Publishing Co. Pte. Ltd.
c2016
|
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | "This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root counting, real root classification, improved CAD projection, dimension-decreasing algorithm, difference substitution, and so on. All the algorithms were rigorously proved and the implementations are demonstrated by lots of examples in various backgrounds such as algebra, geometry, biological science, and computer science."-- |
| Beschreibung: | Title from PDF file title page (viewed July 23, 2016) |
| Beschreibung: | 1 online resource (345 p.) ill. (some col.) |
| ISBN: | 9789814759120 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044640915 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814759120 |c ebook |9 978-981-4759-12-0 | ||
| 024 | 7 | |a 10.1142/9951 |2 doi | |
| 035 | |a (ZDB-124-WOP)00009951 | ||
| 035 | |a (OCoLC)988732483 | ||
| 035 | |a (DE-599)BVBBV044640915 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 515.26 |2 23 | |
| 100 | 1 | |a Xia, Bican |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automated inequality proving and discovering |c Bican Xia, Lu Yang |
| 264 | 1 | |a Singapore |b World Scientific Publishing Co. Pte. Ltd. |c c2016 | |
| 300 | |a 1 online resource (345 p.) |b ill. (some col.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from PDF file title page (viewed July 23, 2016) | ||
| 520 | |a "This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root counting, real root classification, improved CAD projection, dimension-decreasing algorithm, difference substitution, and so on. All the algorithms were rigorously proved and the implementations are demonstrated by lots of examples in various backgrounds such as algebra, geometry, biological science, and computer science."-- | ||
| 650 | 4 | |a Inequalities (Mathematics) / Data processing | |
| 650 | 4 | |a Numerical analysis / Data processing | |
| 650 | 4 | |a Mathematical statistics / Data processing | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Electronic books | |
| 700 | 1 | |a Yang, Lu |d 1936- |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/9951#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030038887 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/9951#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178061153796096 |
|---|---|
| any_adam_object | |
| author | Xia, Bican |
| author_facet | Xia, Bican |
| author_role | aut |
| author_sort | Xia, Bican |
| author_variant | b x bx |
| building | Verbundindex |
| bvnumber | BV044640915 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00009951 (OCoLC)988732483 (DE-599)BVBBV044640915 |
| dewey-full | 515.26 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 515 - Analysis |
| dewey-raw | 515.26 |
| dewey-search | 515.26 |
| dewey-sort | 3515.26 |
| 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>02317nmm a2200421zc 4500</leader><controlfield tag="001">BV044640915</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814759120</subfield><subfield code="c">ebook</subfield><subfield code="9">978-981-4759-12-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/9951</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00009951</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)988732483</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044640915</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">515.26</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Xia, Bican</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated inequality proving and discovering</subfield><subfield code="c">Bican Xia, Lu Yang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Publishing Co. Pte. Ltd.</subfield><subfield code="c">c2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (345 p.)</subfield><subfield code="b">ill. (some col.)</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="500" ind1=" " ind2=" "><subfield code="a">Title from PDF file title page (viewed July 23, 2016)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root counting, real root classification, improved CAD projection, dimension-decreasing algorithm, difference substitution, and so on. All the algorithms were rigorously proved and the implementations are demonstrated by lots of examples in various backgrounds such as algebra, geometry, biological science, and computer science."--</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inequalities (Mathematics) / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical analysis / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical statistics / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic books</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yang, Lu</subfield><subfield code="d">1936-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/9951#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-030038887</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/9951#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.BV044640915 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:57:59Z |
| institution | BVB |
| isbn | 9789814759120 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030038887 |
| oclc_num | 988732483 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | 1 online resource (345 p.) ill. (some col.) |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | World Scientific Publishing Co. Pte. Ltd. |
| record_format | marc |
| spelling | Xia, Bican Verfasser aut Automated inequality proving and discovering Bican Xia, Lu Yang Singapore World Scientific Publishing Co. Pte. Ltd. c2016 1 online resource (345 p.) ill. (some col.) txt rdacontent c rdamedia cr rdacarrier Title from PDF file title page (viewed July 23, 2016) "This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root counting, real root classification, improved CAD projection, dimension-decreasing algorithm, difference substitution, and so on. All the algorithms were rigorously proved and the implementations are demonstrated by lots of examples in various backgrounds such as algebra, geometry, biological science, and computer science."-- Inequalities (Mathematics) / Data processing Numerical analysis / Data processing Mathematical statistics / Data processing Algorithms Electronic books Yang, Lu 1936- Sonstige oth http://www.worldscientific.com/worldscibooks/10.1142/9951#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Xia, Bican Automated inequality proving and discovering Inequalities (Mathematics) / Data processing Numerical analysis / Data processing Mathematical statistics / Data processing Algorithms Electronic books |
| title | Automated inequality proving and discovering |
| title_auth | Automated inequality proving and discovering |
| title_exact_search | Automated inequality proving and discovering |
| title_full | Automated inequality proving and discovering Bican Xia, Lu Yang |
| title_fullStr | Automated inequality proving and discovering Bican Xia, Lu Yang |
| title_full_unstemmed | Automated inequality proving and discovering Bican Xia, Lu Yang |
| title_short | Automated inequality proving and discovering |
| title_sort | automated inequality proving and discovering |
| topic | Inequalities (Mathematics) / Data processing Numerical analysis / Data processing Mathematical statistics / Data processing Algorithms Electronic books |
| topic_facet | Inequalities (Mathematics) / Data processing Numerical analysis / Data processing Mathematical statistics / Data processing Algorithms Electronic books |
| url | http://www.worldscientific.com/worldscibooks/10.1142/9951#t=toc |
| work_keys_str_mv | AT xiabican automatedinequalityprovinganddiscovering AT yanglu automatedinequalityprovinganddiscovering |