Deciding ellipticity with quantifier elimination
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Dokumenttyp: | Kapitel/Artikel Konferenzschrift |
| Sprache: | Englisch |
| Veröffentlicht: |
2003
|
| In: |
Computer algebra in scientific computing
Year: 2003, Pages: 347-355 |
| Schlagworte: | |
| Online-Zugang: |
|
| Verfasserangaben: | Werner M. Seiler, Andreas Weber |
MARC
| LEADER | 00000caa a22000002c 4500 | ||
|---|---|---|---|
| 001 | 1564040534 | ||
| 003 | DE-627 | ||
| 005 | 20220813234223.0 | ||
| 007 | tu | ||
| 008 | 171004s2003 xx ||||| 00| ||eng c | ||
| 035 | |a (DE-627)1564040534 | ||
| 035 | |a (DE-576)49404053X | ||
| 035 | |a (DE-599)BSZ49404053X | ||
| 035 | |a (OCoLC)1340980001 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 27 |2 sdnb | ||
| 100 | 1 | |a Seiler, Werner M. |e VerfasserIn |0 (DE-588)114897395 |0 (DE-627)691233780 |0 (DE-576)336225709 |4 aut | |
| 245 | 1 | 0 | |a Deciding ellipticity with quantifier elimination |c Werner M. Seiler, Andreas Weber |
| 264 | 1 | |c 2003 | |
| 300 | |a 9 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 655 | 7 | |a Konferenzschrift |0 (DE-588)1071861417 |0 (DE-627)826484824 |0 (DE-576)433375485 |2 gnd-content | |
| 700 | 1 | |a Weber, Andreas |e VerfasserIn |0 (DE-627)1321495382 |0 (DE-576)251495388 |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Computer algebra in scientific computing |d München : Inst. für Informatik, TU, 2003 |g (2003), Seite 347-355 |h XII, 423 S. |w (DE-627)1628728493 |w (DE-576)494040262 |z 3980854612 |7 nnam |a Deciding ellipticity with quantifier elimination |
| 773 | 1 | 8 | |g year:2003 |g pages:347-355 |g extent:9 |a Deciding ellipticity with quantifier elimination |
| 951 | |a AR | ||
| 992 | |a 20171004 | ||
| 993 | |a ConferencePaper | ||
| 994 | |a 2003 | ||
| 998 | |g 114897395 |a Seiler, Werner M. |m 114897395:Seiler, Werner M. |d 700000 |d 708000 |e 700000PS114897395 |e 708000PS114897395 |k 0/700000/ |k 1/700000/708000/ |p 1 |x j | ||
| 999 | |a KXP-PPN1564040534 |e 2982668912 | ||
| BIB | |a Y | ||
| JSO | |a {"person":[{"given":"Werner M.","family":"Seiler","role":"aut","roleDisplay":"VerfasserIn","display":"Seiler, Werner M."},{"family":"Weber","given":"Andreas","roleDisplay":"VerfasserIn","display":"Weber, Andreas","role":"aut"}],"name":{"displayForm":["Werner M. Seiler, Andreas Weber"]},"id":{"eki":["1564040534"]},"title":[{"title":"Deciding ellipticity with quantifier elimination","title_sort":"Deciding ellipticity with quantifier elimination"}],"origin":[{"dateIssuedKey":"2003","dateIssuedDisp":"2003"}],"recId":"1564040534","language":["eng"],"relHost":[{"title":[{"subtitle":"proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003","title":"Computer algebra in scientific computing","title_sort":"Computer algebra in scientific computing"}],"person":[{"family":"Ganža","given":"Viktor G.","roleDisplay":"Hrsg.","display":"Ganža, Viktor G.","role":"edt"}],"part":{"pages":"347-355","year":"2003","extent":"9","text":"(2003), Seite 347-355"},"recId":"1628728493","language":["eng"],"corporate":[{"display":"CASC (6, 2003, Passau)","role":"oth"}],"disp":"Deciding ellipticity with quantifier eliminationComputer algebra in scientific computing","type":{"bibl":"edited-book"},"id":{"eki":["1628728493"],"isbn":["3980854612"]},"origin":[{"publisherPlace":"München","publisher":"Inst. für Informatik, TU","dateIssuedKey":"2003","dateIssuedDisp":"2003"}],"name":{"displayForm":["CASC 20032. V. G. Ganzha ... (eds.)"]},"physDesc":[{"extent":"XII, 423 S.","noteIll":"graph. Darst."}]}],"type":{"bibl":"chapter"},"physDesc":[{"extent":"9 S."}]} | ||
| SRT | |a SEILERWERNDECIDINGEL2003 | ||