Real quantifier elimination in practice:
Abstract: "We give a survey of three implemented real quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Gröbner basis computations with multivariate real root counting. We examine the scope of these implementati...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Passau
1997
|
| Schriftenreihe: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1997,20 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We give a survey of three implemented real quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Gröbner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various fields of science, engineering, and economics." |
| Beschreibung: | 24, 4 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011747615 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 980203s1997 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)41080288 | ||
| 035 | |a (DE-599)BVBBV011747615 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-634 | ||
| 084 | |a SS 5600 |0 (DE-625)143571: |2 rvk | ||
| 100 | 1 | |a Dolzmann, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Real quantifier elimination in practice |c A. Dolzmann ; Th. Sturm ; V. Weispfenning |
| 264 | 1 | |a Passau |c 1997 | |
| 300 | |a 24, 4 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 1997,20 | |
| 520 | 3 | |a Abstract: "We give a survey of three implemented real quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Gröbner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various fields of science, engineering, and economics." | |
| 650 | 4 | |a Decompostion (Mathematics) | |
| 650 | 4 | |a Elimination | |
| 650 | 4 | |a Group theory | |
| 650 | 4 | |a Gröbner basis | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sturm, Thomas |e Verfasser |4 aut | |
| 700 | 1 | |a Weispfenning, Volker |d 1944- |e Verfasser |0 (DE-588)108063550 |4 aut | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 1997,20 |w (DE-604)BV000905393 |9 1997,20 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007926395 | ||
Datensatz im Suchindex
| _version_ | 1804126290147540992 |
|---|---|
| any_adam_object | |
| author | Dolzmann, Andreas Sturm, Thomas Weispfenning, Volker 1944- |
| author_GND | (DE-588)108063550 |
| author_facet | Dolzmann, Andreas Sturm, Thomas Weispfenning, Volker 1944- |
| author_role | aut aut aut |
| author_sort | Dolzmann, Andreas |
| author_variant | a d ad t s ts v w vw |
| building | Verbundindex |
| bvnumber | BV011747615 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)41080288 (DE-599)BVBBV011747615 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01992nam a2200445 cb4500</leader><controlfield tag="001">BV011747615</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980203s1997 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41080288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011747615</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-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 5600</subfield><subfield code="0">(DE-625)143571:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dolzmann, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Real quantifier elimination in practice</subfield><subfield code="c">A. Dolzmann ; Th. Sturm ; V. Weispfenning</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">24, 4 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">1997,20</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We give a survey of three implemented real quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Gröbner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various fields of science, engineering, and economics."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decompostion (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Elimination</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Group theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gröbner basis</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">Sturm, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weispfenning, Volker</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108063550</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">1997,20</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1997,20</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007926395</subfield></datafield></record></collection> |
| id | DE-604.BV011747615 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:15:06Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007926395 |
| oclc_num | 41080288 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-634 |
| owner_facet | DE-154 DE-739 DE-12 DE-634 |
| physical | 24, 4 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Dolzmann, Andreas Verfasser aut Real quantifier elimination in practice A. Dolzmann ; Th. Sturm ; V. Weispfenning Passau 1997 24, 4 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1997,20 Abstract: "We give a survey of three implemented real quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Gröbner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various fields of science, engineering, and economics." Decompostion (Mathematics) Elimination Group theory Gröbner basis Mathematik (DE-588)4037944-9 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Sturm, Thomas Verfasser aut Weispfenning, Volker 1944- Verfasser (DE-588)108063550 aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1997,20 (DE-604)BV000905393 1997,20 |
| spellingShingle | Dolzmann, Andreas Sturm, Thomas Weispfenning, Volker 1944- Real quantifier elimination in practice Decompostion (Mathematics) Elimination Group theory Gröbner basis Mathematik (DE-588)4037944-9 gnd Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4026894-9 (DE-588)4196735-5 |
| title | Real quantifier elimination in practice |
| title_auth | Real quantifier elimination in practice |
| title_exact_search | Real quantifier elimination in practice |
| title_full | Real quantifier elimination in practice A. Dolzmann ; Th. Sturm ; V. Weispfenning |
| title_fullStr | Real quantifier elimination in practice A. Dolzmann ; Th. Sturm ; V. Weispfenning |
| title_full_unstemmed | Real quantifier elimination in practice A. Dolzmann ; Th. Sturm ; V. Weispfenning |
| title_short | Real quantifier elimination in practice |
| title_sort | real quantifier elimination in practice |
| topic | Decompostion (Mathematics) Elimination Group theory Gröbner basis Mathematik (DE-588)4037944-9 gnd Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Decompostion (Mathematics) Elimination Group theory Gröbner basis Mathematik Informatik Theoretische Informatik |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT dolzmannandreas realquantifiereliminationinpractice AT sturmthomas realquantifiereliminationinpractice AT weispfenningvolker realquantifiereliminationinpractice |