Automated deduction in geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1360 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 234 S. graph. Darst. |
| ISBN: | 3540642978 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011814821 | ||
| 003 | DE-604 | ||
| 005 | 20100120 | ||
| 007 | t| | ||
| 008 | 980303s1998 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 953006131 |2 DE-101 | |
| 020 | |a 3540642978 |9 3-540-64297-8 | ||
| 035 | |a (OCoLC)38738820 | ||
| 035 | |a (DE-599)BVBBV011814821 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-20 |a DE-384 |a DE-739 |a DE-824 |a DE-19 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA448.D38I577 1996 | |
| 082 | 0 | |a 516/.00285 |2 21 | |
| 082 | 0 | |a 516/.00285 21 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Automated deduction in geometry |b International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers |c Dongming Wang (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a 234 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1360 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Géométrie - Informatique - Congrès |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a Théorèmes - Démonstration automatique - Congrès |2 ram | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a géométrie algorithmique |2 inriac | |
| 650 | 7 | |a géométrie |2 inriac | |
| 650 | 7 | |a raisonnement automatique |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Geometry -- Data processing -- Congresses | |
| 650 | 4 | |a Automatic theorem proving -- Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Toulouse |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Geometrie |0 (DE-588)4020236-7 |D s |
| 689 | 1 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Wang, Dongming |e Sonstige |4 oth | |
| 711 | 2 | |a International Workshop on Automated Deduction in Geometry |d 1996 |c Toulouse |j Sonstige |0 (DE-588)2168896-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1360 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1360 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007978357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007978357 | |
Datensatz im Suchindex
| _version_ | 1820868203166826496 |
|---|---|
| adam_text |
CONTENTS
AUTOMATED
GEOMETRIC
REASONING:
DIXON
RESULTANTS,
GROBNER
BASES,
AND
CHARACTERISTIC
SETS
1
DEEPAK
KAPUR
EXTENDED
DIXON
'
S
RESULTANT
AND
ITS
APPLICATIONS
37
QUOC-NAM
TRAN
COMPUTATIONAL
GEOMETRY
PROBLEMS
IN
REDLOG
58
THOMAS
STURM
AND
VOLKER
WEISPFENNING
PROBABILISTIC
VERIFICATION
OF
ELEMENTARY
GEOMETRY
STATEMENTS
87
GIUSEPPA
CARRA
FERRO,
GIOVANNI
GALLO
AND
ROSARIO
GENNARO
COMPUTATIONAL
SYNTHETIC
GEOMETRY
WITH
CLIFFORD
ALGEBRA
102
TIMOTHY
F.
HAVEL
CLIFFORD
ALGEBRAIC
CALCULUS
FOR
GEOMETRIC
REASONING
WITH
APPLICATION
TO
COMPUTER
VISION
115
DONGMING
WANG
AREA
IN
GRASSMANN
GEOMETRY
141
DESMOND
FEARNLEY-SANDER
AND
TIM
STOKES
AUTOMATED
PRODUCTION
OF
READABLE
PROOFS
FOR
THEOREMS
IN
NON-EUCLIDEAN
GEOMETRIES
171
LU
YANG,
XIAO-SHAN
GAO,
SHANG-CHING
CHOU
AND
JING-ZHONG
ZHANG
POINTS
ON
ALGEBRAIC
CURVES
AND
THE
PARAMETRIZATION
PROBLEM
189
ERIK
HILLGARTER
AND
FRANZ
WINKLER
FLAT
CENTRAL
CONFIGURATIONS
OF
FOUR
PLANET
MOTIONS
208
HE
SHI
AND
FENGMEI
ZOU
INTEGRATION
OF
REASONING
AND
ALGEBRAIC
CALCULUS
IN
GEOMETRY
218
STEPHANE
FEVRE
AUTHOR
INDEX
235 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011814821 |
| callnumber-first | Q - Science |
| callnumber-label | QA448 |
| callnumber-raw | QA448.D38I577 1996 |
| callnumber-search | QA448.D38I577 1996 |
| callnumber-sort | QA 3448 D38 I577 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1996 SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)38738820 (DE-599)BVBBV011814821 |
| dewey-full | 516/.00285 516/.0028521 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 516 - Geometry |
| dewey-raw | 516/.00285 516/.00285 21 |
| dewey-search | 516/.00285 516/.00285 21 |
| dewey-sort | 3516 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding 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">BV011814821</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100120</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980303s1998 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953006131</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540642978</subfield><subfield code="9">3-540-64297-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38738820</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011814821</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA448.D38I577 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">516/.00285</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">516/.00285 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated deduction in geometry</subfield><subfield code="b">International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers</subfield><subfield code="c">Dongming Wang (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">234 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">Lecture notes in computer science</subfield><subfield code="v">1360 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Géométrie - Informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">géométrie algorithmique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">géométrie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geometry -- Data processing -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Toulouse</subfield><subfield code="2">gnd-content</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Geometrie</subfield><subfield code="0">(DE-588)4020236-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wang, Dongming</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Automated Deduction in Geometry</subfield><subfield code="d">1996</subfield><subfield code="c">Toulouse</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2168896-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1360 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1360</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007978357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007978357</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Toulouse gnd-content |
| genre_facet | Konferenzschrift 1996 Toulouse |
| id | DE-604.BV011814821 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:38Z |
| institution | BVB |
| institution_GND | (DE-588)2168896-5 |
| isbn | 3540642978 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007978357 |
| oclc_num | 38738820 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-384 DE-739 DE-824 DE-19 DE-BY-UBM DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-384 DE-739 DE-824 DE-19 DE-BY-UBM DE-83 DE-706 |
| physical | 234 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers Dongming Wang (ed.) Berlin [u.a.] Springer 1998 234 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1360 : Lecture notes in artificial intelligence Géométrie - Informatique - Congrès ram Logique symbolique et mathématique - Congrès ram Théorèmes - Démonstration automatique - Congrès ram déduction automatique inriac géométrie algorithmique inriac géométrie inriac raisonnement automatique inriac Datenverarbeitung Geometry -- Data processing -- Congresses Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Geometrie (DE-588)4020236-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Toulouse gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Geometrie (DE-588)4020236-7 s Wang, Dongming Sonstige oth International Workshop on Automated Deduction in Geometry 1996 Toulouse Sonstige (DE-588)2168896-5 oth Lecture notes in computer science 1360 : Lecture notes in artificial intelligence (DE-604)BV000000607 1360 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007978357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers Lecture notes in computer science Géométrie - Informatique - Congrès ram Logique symbolique et mathématique - Congrès ram Théorèmes - Démonstration automatique - Congrès ram déduction automatique inriac géométrie algorithmique inriac géométrie inriac raisonnement automatique inriac Datenverarbeitung Geometry -- Data processing -- Congresses Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4020236-7 (DE-588)1071861417 |
| title | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers |
| title_auth | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers |
| title_exact_search | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers |
| title_full | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers Dongming Wang (ed.) |
| title_fullStr | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers Dongming Wang (ed.) |
| title_full_unstemmed | Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers Dongming Wang (ed.) |
| title_short | Automated deduction in geometry |
| title_sort | automated deduction in geometry international workshop on automated deduction in geometry toulouse france september 27 29 1996 selected papers |
| title_sub | International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers |
| topic | Géométrie - Informatique - Congrès ram Logique symbolique et mathématique - Congrès ram Théorèmes - Démonstration automatique - Congrès ram déduction automatique inriac géométrie algorithmique inriac géométrie inriac raisonnement automatique inriac Datenverarbeitung Geometry -- Data processing -- Congresses Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| topic_facet | Géométrie - Informatique - Congrès Logique symbolique et mathématique - Congrès Théorèmes - Démonstration automatique - Congrès déduction automatique géométrie algorithmique géométrie raisonnement automatique Datenverarbeitung Geometry -- Data processing -- Congresses Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren Geometrie Konferenzschrift 1996 Toulouse |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007978357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT wangdongming automateddeductioningeometryinternationalworkshoponautomateddeductioningeometrytoulousefranceseptember27291996selectedpapers AT internationalworkshoponautomateddeductioningeometrytoulouse automateddeductioningeometryinternationalworkshoponautomateddeductioningeometrytoulousefranceseptember27291996selectedpapers |