Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Booktitle=Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Quantifier elimination for real algebraic constraints in industry
Hirokazu Anai
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 1-1
Convex quantifier elimination for semidefinite programming
Hirokazu Anai
,
Pablo A. Parrilo
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 3-11
Computation of collections of correlated faces for several polyhedra
Alexander Aranson
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 13-17
Computing the stratification of actions of compact Lie groups
Thomas Bayer
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 19-29
The MAPLE package ``Janet'': I. Polynomial systems
Yuri A. Blinkov
,
Carlos F. Cid
,
Vladimir P. Gerdt
,
Wilhelm Plesken
,
Daniel Robertz
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 31-40
The MAPLE package ``Janet'': II. Linear partial differential equations
Yuri A. Blinkov
,
Carlos F. Cid
,
Vladimir P. Gerdt
,
Wilhelm Plesken
,
Daniel Robertz
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 41-54
Low dimensional naturally graded no
p
-filiform Lie algebras
L.M. Camacho
,
J.R. Gómez
,
A.J. González
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 55-66
On the stability of exact symmetrical solutions in the many-body problem
Carlo Cattani
,
Alexander N. Prokopenya
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 67-76
Periodic solutions of a cubic ODE system
Victor F. Edneral
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 77-80
Improved computation of determinants and resultants
Ioannis Z. Emiris
,
Victor Y. Pan
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 81-94
Symbolic computation applied to surface waves in layered elastic media
R. Esquivel
,
P.M. O'Leary
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 95-103
Computer-algebraic techniques for many-particle physics
S. Fritzsche
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 105-119
Object oriented modelling in numerical computation: Multigrid calculations using Maple
Victor G. Ganzha
,
Dmytro Chibisov
,
Evgenii V. Vorozhtsov
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 121-141
On exact solvability of anharmonic oscillators in large dimensions
Vladimir Gerdt
,
Denis Yanovich
,
Miloslav Znojil
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 143-162
Analytical representations of coordinates of equilibrium points in the restricted circular many-body problem
A.An. Gonchar
,
E.A. Grebenikov
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 163-167
Solving intersectio problems with 3D implicit surfaces by using differential equation solving and algebraic techniques
Laureano Gonzalez-Vega
,
Ioana Necula
,
Jaime Puig-Pey
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 169-177
Linear stability of stationary solutions of the ring-shaped Newton ten-body problem
E.A. Grebenikov
,
N.I. Zemtsova
,
E.V. Ikhsanov
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 179-185
The program LINA for the normalization of polynomial Hamiltonians
Alexander Gusev
,
Yuri Ukolov
,
Nikolai Chekanov
,
Vitaly Rostovtsev
,
Yoshio Uwano
,
Sergue Vinitsky
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 187-197
On modelling and qualitative investigation of nonlinear systems with the aid of computer algebra
Valentin Irtegov
,
Tatyana Titorenko
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 199-211
Analytic facatorization of the multivariate polynomial
Maki Iwami
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 213-226
Modular algorithm for computing cohomology: Lie superalgebra of special vector fields on
2/2)
-dimensional odd-symplectic superspace
Vladimir V. Kornyak
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 227-240
Implicitization of polynomial surfaces
Ilias S. Kotsireas
,
Edmond Lau
,
Richard Voino
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 241-247
A computer algebra based knowledge system for diagnosis and treatment of migraine
Luis M. Laita
,
Beatriz López-Bravo
,
Eugenio Roanes-Lozano
,
Jose A. Alonso
,
Luis de Ledesma
,
Víctor Maojo
,
Laura Laita
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 249-261
The computer algebra web
Michal Mnuk
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 263-273
Modelling of mechanical systems and inverse problems of differential equations
R.G. Moukharliamov
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 20-26, 2003)
, 2003, pp. 273-282
Seiten 1
2
>