Computer algebra in scientific computing: proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
München
Inst. für Informatik, TU
2003
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XII, 423 S. graph. Darst. |
ISBN: | 3980854612 |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV017729145 | ||
003 | DE-604 | ||
005 | 20031217 | ||
007 | t | ||
008 | 031217s2003 d||| |||| 10||| eng d | ||
020 | |a 3980854612 |9 3-9808546-1-2 | ||
035 | |a (OCoLC)632962384 | ||
035 | |a (DE-599)BVBBV017729145 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91G | ||
084 | |a DAT 702f |2 stub | ||
245 | 1 | 0 | |a Computer algebra in scientific computing |b proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 |c CASC 20032. V. G. Ganzha ... (eds.) |
264 | 1 | |a München |b Inst. für Informatik, TU |c 2003 | |
300 | |a XII, 423 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Konstanz |2 gnd-content | |
689 | 0 | 0 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |D s |
689 | 0 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Ganža, Viktor G. |e Sonstige |4 oth | |
711 | 2 | |a CASC |n 6 |d 2003 |c Passau |j Sonstige |0 (DE-588)1402609-0 |4 oth | |
856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010657047&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-010657047 |
Datensatz im Suchindex
_version_ | 1804130452591607808 |
---|---|
adam_text | Table
of
Contents
Quantifier Elimination for Real Algebraic Constraints in Industry
........................ 1
Hirokazu Anai
Convex Quantifier Elimination for
Semidefinite
Programming
............................ 3
Hirokazu Anai, Pablo A. Parrilo
Computation of Collections of Correlated Faces for Several Polyhedra
.................... 13
Alexander Aranson
Computing the Stratification of Actions of Compact Lie Groups
......................... 19
Thomas Bayer
The MAPLE Package Janet
:
I. Polynomial Systems
.................................. 31
Yuri A. Blinkov, Carlos F.
Cid,
Vladimir P. Gerdt,
Wilhelm Plesken,
Daniel Robertz
The MAPLE Package Janet
:
II. Linear Partial Differential Equations
................... 41
Yuri A. Blinkov, Carlos F.
Cid,
Vladimir P. Gerdt,
Wilhelm
Plesken, Daniel Robertz
Low Dimensional Naturally Graded No p-Filiform Lie Algebras
........................... 55
L.M.
Camacho,
J.R.
Gómez, A.
J.
González
On the Stability of Exact Symmetrical Solutions in the Many-Body Problem
.............. 67
Carlo Cattani, Alexander
N.
Prokopenya
Periodic Solutions of a Cubic ODE System
............................................ 77
Victor F. Edneral
Improved Computation of Determinants and Resultants
................................. 81
Ioannis Z. Emiris, Victor Y. Pan
Symbolic Computation Applied to Surface Waves in Layered Elastic Media
................ 95
R.
Esquivei,
P. M. O Leary
Computer-Algebraic Techniques for Many-Particle Physics
..............................105
5.
Fritzsche
Object Oriented Modelling in Numerical Computation:
Multigrid Calculations Using Maple
..................................................121
Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov
On Exact Solvability of Anharmonic Oscillators in Large Dimensions
.....................143
Vladimir Gerdt, Denis Yanovich,
Miloslav Znojil
Analytical Representations of Coordinates of Equilibrium Points
in the Restricted Circular Many-Body Problem
........................................163
A. An. Gonchar, E. A. Grebenikov
Solving Intersection Problems with
3D
Implicit Surfaces
by Using Differential Equation Solving and Algebraic Techniques
.........................169
Laureano
Gonzalez-Vega,
Ioana
Nečula,
Jaime Puig-Pey
Linear Stability of Stationary Solutions of the Ring-Shaped Newton Ten-Body Problem
.....179
E.A. Grebenikov, N.I. Zemtsova, E.V.Ikhsanov
χ
The Program
LINA
for the Normalization of Polynomial Hamiltonians
..................187
Alexander Gusev, Yuri
Úkolov,
Nikolai Chekanov, Vitaly Rostovtsev,
Yoshio Uwano, Sergue Vinitsky
On Modelling and Qualitative Investigation of Nonlinear Systems
with the Aid of Computer Algebra
...................................................199
Valentin Irtegov, Tatyana Titorenko
Analytic Factorization of the Multivariate Polynomial
..................................213
Maki lwami
Modular Algorithm for Computing Cohomology:
Lie Superalgebra of Special Vector Fields on (2|2)-dimensional Odd-Symplectic Superspace
.. 227
Vladimir V. Kornyak
Implicitization of Polynomial Surfaces
................................................241
Ilias
S.
Kotsireas,
Edmond
Lau,
Richard Voino
A Computer Algebra Based Knowledge System for Diagnosis and Treatment of Migraine
.... 249
Luis M. Laita,
Beatriz
Lopez-Bravo, Eugenio
Roanes-Lozano, Jose
A. Alonso,
Luis de Ledesma, Victor Maojo, Laura Laita
The Computer Algebra Web.........................................................263
Michal
Mnuk
Modelling of Mechanical
Systems
and Inverse Problems of Differential Equations
...........273
R.G. Moukharliamov
Neighborhood Irreducibility Testing of Multivariate Polynomials
.........................283
Kosáku Nagasaka
Computing the Minimum of Decomposable Fourth-Degree Form
.........................293
Haydar Kh. Ruzimuradov, Ulugbek H. Narzullaev
Computer Algebraic Tools for Studying the Symmetry Properties
of Molecules and Clusters
...........................................................301
E. Rykhlinskaya and S. Fritzsche
ACGB on Varieties
.................................................................313
Yosuke Sato, Akira Suzuki, Katsusuke Nabeshima
Automatic Generation of Ranking of Variables
for Efficient Computation of
Gröbner
Bases in Engineering Applications
..................319
Hiroyuki Sawada
Boolean Quantification in a First-Order Context
.......................................329
Andreas
Seidl,
Thomas Sturm
Deciding Ellipticity by Quantifier Elimination
.........................................347
Werner M.
Seiler,
Andreas Weber
Newton Polyhedra and the Generalized Henon-Heiles System
............................357
Akhmadjon Soleev
Subresultants in Recursive Polynomial Remainder Sequence
.............................363
Akira
Terni
An Extension of the Extension Theorem
..............................................377
Peter Ullrich
XI
The Inverse Birkhoff-Gustavson Normalization
of
Non-Integrable
Perturbed Harmonic Oscillators with Cubic Polynomial Potentials:
A New Application of the Program ANFER
...........................................383
Yoshio Uwano
Monomial
Orderings,
Young Diagrams, and
Gröbner
Bases
..............................397
Nikolay
N.
Vasiliev
Gröbner
Bases for Inexact Input Data
................................................403
Volker Weispfenning
Computer Algebra and Parametrization
...............................................413
Franz
Winkler
General Solution of Hyperbolic Differential Equations with Constant Coefficients
...........415
Serguey Zemskov, Alexander Kouleshoff
Author Index
.................................................................425
|
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV017729145 |
classification_tum | DAT 702f |
ctrlnum | (OCoLC)632962384 (DE-599)BVBBV017729145 |
discipline | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01596nam a2200361zc 4500</leader><controlfield tag="001">BV017729145</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">031217s2003 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3980854612</subfield><subfield code="9">3-9808546-1-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632962384</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017729145</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-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer algebra in scientific computing</subfield><subfield code="b">proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003</subfield><subfield code="c">CASC 20032. V. G. Ganzha ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Inst. für Informatik, TU</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 423 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="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</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">2001</subfield><subfield code="z">Konstanz</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</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">Ganža, Viktor G.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CASC</subfield><subfield code="n">6</subfield><subfield code="d">2003</subfield><subfield code="c">Passau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1402609-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=010657047&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010657047</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2001 Konstanz gnd-content |
genre_facet | Konferenzschrift 2001 Konstanz |
id | DE-604.BV017729145 |
illustrated | Illustrated |
indexdate | 2024-07-09T19:21:16Z |
institution | BVB |
institution_GND | (DE-588)1402609-0 |
isbn | 3980854612 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010657047 |
oclc_num | 632962384 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM |
owner_facet | DE-91G DE-BY-TUM |
physical | XII, 423 S. graph. Darst. |
publishDate | 2003 |
publishDateSearch | 2003 |
publishDateSort | 2003 |
publisher | Inst. für Informatik, TU |
record_format | marc |
spelling | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 CASC 20032. V. G. Ganzha ... (eds.) München Inst. für Informatik, TU 2003 XII, 423 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computeralgebra (DE-588)4010449-7 gnd rswk-swf Wissenschaftliches Rechnen (DE-588)4338507-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Konstanz gnd-content Wissenschaftliches Rechnen (DE-588)4338507-2 s Computeralgebra (DE-588)4010449-7 s DE-604 Ganža, Viktor G. Sonstige oth CASC 6 2003 Passau Sonstige (DE-588)1402609-0 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010657047&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 Computeralgebra (DE-588)4010449-7 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
subject_GND | (DE-588)4010449-7 (DE-588)4338507-2 (DE-588)1071861417 |
title | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 |
title_auth | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 |
title_exact_search | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 |
title_full | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 CASC 20032. V. G. Ganzha ... (eds.) |
title_fullStr | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 CASC 20032. V. G. Ganzha ... (eds.) |
title_full_unstemmed | Computer algebra in scientific computing proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 CASC 20032. V. G. Ganzha ... (eds.) |
title_short | Computer algebra in scientific computing |
title_sort | computer algebra in scientific computing proceedings of the sixth international workshop on computer algebra in scientific computing passau september 20 26 2003 |
title_sub | proceedings of the sixth International Workshop on Computer Algebra in Scientific Computing, Passau, September 20 - 26, 2003 |
topic | Computeralgebra (DE-588)4010449-7 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
topic_facet | Computeralgebra Wissenschaftliches Rechnen Konferenzschrift 2001 Konstanz |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010657047&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT ganzaviktorg computeralgebrainscientificcomputingproceedingsofthesixthinternationalworkshoponcomputeralgebrainscientificcomputingpassauseptember20262003 AT cascpassau computeralgebrainscientificcomputingproceedingsofthesixthinternationalworkshoponcomputeralgebrainscientificcomputingpassauseptember20262003 |