Computational geometry problems in redlog:
Abstract: "We solve algorithmic geometrical problems in real 3- space or the real plane arising from applications in the area of CAD, computer vision, and motion planning. The problems include parallel and central projection problems, shade and cast shadow problems, reconstruction of objects fr...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Passau
1997
|
| Series: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1997,08 |
| Subjects: | |
| Summary: | Abstract: "We solve algorithmic geometrical problems in real 3- space or the real plane arising from applications in the area of CAD, computer vision, and motion planning. The problems include parallel and central projection problems, shade and cast shadow problems, reconstruction of objects from images, offsets of objects, Voronoi diagrams of a finite families [sic] of objects, and collision of moving objects. Our tools are real elimination algorithms implemented in the REDUCE package REDLOG. In many cases the problems can be solved uniformly in unspecified parameters. The power of the method is illustrated by examples many of which have been outside the scope of real elimination methods so far." |
| Physical Description: | 29, 5 S. Ill., graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011352128 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 970522s1997 xx ad|| |||| 00||| eng d | ||
| 035 | |a (OCoLC)38860339 | ||
| 035 | |a (DE-599)BVBBV011352128 | ||
| 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 | ||
| 100 | 1 | |a Sturm, Thomas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computational geometry problems in redlog |c Th. Sturm ; V. Weispfenning |
| 264 | 1 | |a Passau |c 1997 | |
| 300 | |a 29, 5 S. |b Ill., 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,08 | |
| 520 | 3 | |a Abstract: "We solve algorithmic geometrical problems in real 3- space or the real plane arising from applications in the area of CAD, computer vision, and motion planning. The problems include parallel and central projection problems, shade and cast shadow problems, reconstruction of objects from images, offsets of objects, Voronoi diagrams of a finite families [sic] of objects, and collision of moving objects. Our tools are real elimination algorithms implemented in the REDUCE package REDLOG. In many cases the problems can be solved uniformly in unspecified parameters. The power of the method is illustrated by examples many of which have been outside the scope of real elimination methods so far." | |
| 630 | 0 | 4 | |a REDUCE (Computer program) |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Geometry |x Data processing | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |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 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,08 |w (DE-604)BV000905393 |9 1997,08 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007628280 | |
Record in the Search Index
| _version_ | 1820882317817675776 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Sturm, Thomas Weispfenning, Volker 1944- |
| author_GND | (DE-588)108063550 |
| author_facet | Sturm, Thomas Weispfenning, Volker 1944- |
| author_role | aut aut |
| author_sort | Sturm, Thomas |
| author_variant | t s ts v w vw |
| building | Verbundindex |
| bvnumber | BV011352128 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)38860339 (DE-599)BVBBV011352128 |
| 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">BV011352128</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970522s1997 xx ad|| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38860339</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011352128</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="100" ind1="1" ind2=" "><subfield code="a">Sturm, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational geometry problems in redlog</subfield><subfield code="c">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">29, 5 S.</subfield><subfield code="b">Ill., 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,08</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We solve algorithmic geometrical problems in real 3- space or the real plane arising from applications in the area of CAD, computer vision, and motion planning. The problems include parallel and central projection problems, shade and cast shadow problems, reconstruction of objects from images, offsets of objects, Voronoi diagrams of a finite families [sic] of objects, and collision of moving objects. Our tools are real elimination algorithms implemented in the REDUCE package REDLOG. In many cases the problems can be solved uniformly in unspecified parameters. The power of the method is illustrated by examples many of which have been outside the scope of real elimination methods so far."</subfield></datafield><datafield tag="630" ind1="0" ind2="4"><subfield code="a">REDUCE (Computer program)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geometry</subfield><subfield code="x">Data processing</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="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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">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,08</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1997,08</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007628280</subfield></datafield></record></collection> |
| id | DE-604.BV011352128 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:04:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007628280 |
| oclc_num | 38860339 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-634 |
| owner_facet | DE-154 DE-739 DE-12 DE-634 |
| physical | 29, 5 S. Ill., graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Sturm, Thomas Verfasser aut Computational geometry problems in redlog Th. Sturm ; V. Weispfenning Passau 1997 29, 5 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1997,08 Abstract: "We solve algorithmic geometrical problems in real 3- space or the real plane arising from applications in the area of CAD, computer vision, and motion planning. The problems include parallel and central projection problems, shade and cast shadow problems, reconstruction of objects from images, offsets of objects, Voronoi diagrams of a finite families [sic] of objects, and collision of moving objects. Our tools are real elimination algorithms implemented in the REDUCE package REDLOG. In many cases the problems can be solved uniformly in unspecified parameters. The power of the method is illustrated by examples many of which have been outside the scope of real elimination methods so far." REDUCE (Computer program) Datenverarbeitung Geometry Data processing Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Weispfenning, Volker 1944- Verfasser (DE-588)108063550 aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1997,08 (DE-604)BV000905393 1997,08 |
| spellingShingle | Sturm, Thomas Weispfenning, Volker 1944- Computational geometry problems in redlog REDUCE (Computer program) Datenverarbeitung Geometry Data processing Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)4037944-9 |
| title | Computational geometry problems in redlog |
| title_auth | Computational geometry problems in redlog |
| title_exact_search | Computational geometry problems in redlog |
| title_full | Computational geometry problems in redlog Th. Sturm ; V. Weispfenning |
| title_fullStr | Computational geometry problems in redlog Th. Sturm ; V. Weispfenning |
| title_full_unstemmed | Computational geometry problems in redlog Th. Sturm ; V. Weispfenning |
| title_short | Computational geometry problems in redlog |
| title_sort | computational geometry problems in redlog |
| topic | REDUCE (Computer program) Datenverarbeitung Geometry Data processing Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | REDUCE (Computer program) Datenverarbeitung Geometry Data processing Theoretische Informatik Informatik Mathematik |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT sturmthomas computationalgeometryproblemsinredlog AT weispfenningvolker computationalgeometryproblemsinredlog |