Efficient projection orders for CAD:
Abstract: "We introduce an efficient algorithm for determining a suitable projection order for performing cylindrical algebraic decomposition. Our algorithm is motivated by a statistical analysis of comprehensive test set computations. This analysis introduces several measures on both the proje...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Passau
Fak. für Math. und Informatik, Univ. Passau
2004
|
| Series: | MIP
2004,01 |
| Subjects: | |
| Summary: | Abstract: "We introduce an efficient algorithm for determining a suitable projection order for performing cylindrical algebraic decomposition. Our algorithm is motivated by a statistical analysis of comprehensive test set computations. This analysis introduces several measures on both the projection sets and the entire computation, which turn out to be highly correlated. The statistical data also shows that the orders generated by our algorithm are significantly close to optimal." |
| Physical Description: | 19, 3 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017822284 | ||
| 003 | DE-604 | ||
| 005 | 20090129 | ||
| 007 | t| | ||
| 008 | 040203s2004 xx d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)57192928 | ||
| 035 | |a (DE-599)BVBBV017822284 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-703 | ||
| 100 | 1 | |a Dolzmann, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Efficient projection orders for CAD |c A. Dolzmann ; A. Seidl ; Th. Sturm |
| 264 | 1 | |a Passau |b Fak. für Math. und Informatik, Univ. Passau |c 2004 | |
| 300 | |a 19, 3 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a MIP |v 2004,01 | |
| 520 | 3 | |a Abstract: "We introduce an efficient algorithm for determining a suitable projection order for performing cylindrical algebraic decomposition. Our algorithm is motivated by a statistical analysis of comprehensive test set computations. This analysis introduces several measures on both the projection sets and the entire computation, which turn out to be highly correlated. The statistical data also shows that the orders generated by our algorithm are significantly close to optimal." | |
| 650 | 4 | |a Cylindric algebras | |
| 650 | 4 | |a Decomposition (Mathematics) | |
| 700 | 1 | |a Seidl, Andreas |e Verfasser |0 (DE-588)13238048X |4 aut | |
| 700 | 1 | |a Sturm, Thomas |e Verfasser |4 aut | |
| 830 | 0 | |a MIP |v 2004,01 |w (DE-604)BV000905393 |9 2004,01 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010699149 | |
Record in the Search Index
| _version_ | 1820882319194456064 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Dolzmann, Andreas Seidl, Andreas Sturm, Thomas |
| author_GND | (DE-588)13238048X |
| author_facet | Dolzmann, Andreas Seidl, Andreas Sturm, Thomas |
| author_role | aut aut aut |
| author_sort | Dolzmann, Andreas |
| author_variant | a d ad a s as t s ts |
| building | Verbundindex |
| bvnumber | BV017822284 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)57192928 (DE-599)BVBBV017822284 |
| discipline | Informatik |
| format | Book |
| 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">BV017822284</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090129</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">040203s2004 xx d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57192928</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017822284</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-703</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">Efficient projection orders for CAD</subfield><subfield code="c">A. Dolzmann ; A. Seidl ; Th. Sturm</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="b">Fak. für Math. und Informatik, Univ. Passau</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">19, 3 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">MIP</subfield><subfield code="v">2004,01</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We introduce an efficient algorithm for determining a suitable projection order for performing cylindrical algebraic decomposition. Our algorithm is motivated by a statistical analysis of comprehensive test set computations. This analysis introduces several measures on both the projection sets and the entire computation, which turn out to be highly correlated. The statistical data also shows that the orders generated by our algorithm are significantly close to optimal."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Cylindric algebras</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decomposition (Mathematics)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seidl, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13238048X</subfield><subfield code="4">aut</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="830" ind1=" " ind2="0"><subfield code="a">MIP</subfield><subfield code="v">2004,01</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">2004,01</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010699149</subfield></datafield></record></collection> |
| id | DE-604.BV017822284 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:05:00Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010699149 |
| oclc_num | 57192928 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-703 |
| owner_facet | DE-154 DE-739 DE-12 DE-703 |
| physical | 19, 3 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Fak. für Math. und Informatik, Univ. Passau |
| record_format | marc |
| series | MIP |
| series2 | MIP |
| spelling | Dolzmann, Andreas Verfasser aut Efficient projection orders for CAD A. Dolzmann ; A. Seidl ; Th. Sturm Passau Fak. für Math. und Informatik, Univ. Passau 2004 19, 3 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier MIP 2004,01 Abstract: "We introduce an efficient algorithm for determining a suitable projection order for performing cylindrical algebraic decomposition. Our algorithm is motivated by a statistical analysis of comprehensive test set computations. This analysis introduces several measures on both the projection sets and the entire computation, which turn out to be highly correlated. The statistical data also shows that the orders generated by our algorithm are significantly close to optimal." Cylindric algebras Decomposition (Mathematics) Seidl, Andreas Verfasser (DE-588)13238048X aut Sturm, Thomas Verfasser aut MIP 2004,01 (DE-604)BV000905393 2004,01 |
| spellingShingle | Dolzmann, Andreas Seidl, Andreas Sturm, Thomas Efficient projection orders for CAD MIP Cylindric algebras Decomposition (Mathematics) |
| title | Efficient projection orders for CAD |
| title_auth | Efficient projection orders for CAD |
| title_exact_search | Efficient projection orders for CAD |
| title_full | Efficient projection orders for CAD A. Dolzmann ; A. Seidl ; Th. Sturm |
| title_fullStr | Efficient projection orders for CAD A. Dolzmann ; A. Seidl ; Th. Sturm |
| title_full_unstemmed | Efficient projection orders for CAD A. Dolzmann ; A. Seidl ; Th. Sturm |
| title_short | Efficient projection orders for CAD |
| title_sort | efficient projection orders for cad |
| topic | Cylindric algebras Decomposition (Mathematics) |
| topic_facet | Cylindric algebras Decomposition (Mathematics) |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT dolzmannandreas efficientprojectionordersforcad AT seidlandreas efficientprojectionordersforcad AT sturmthomas efficientprojectionordersforcad |