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
Hilfe
Suche: Booktitle= CASC'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 2026, 2003)
, 2003, pp. 11
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 2026, 2003)
, 2003, pp. 311
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 2026, 2003)
, 2003, pp. 1317
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 2026, 2003)
, 2003, pp. 1929
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 2026, 2003)
, 2003, pp. 3140
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 2026, 2003)
, 2003, pp. 4154
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 2026, 2003)
, 2003, pp. 5566
On the stability of exact symmetrical solutions in the manybody problem
Carlo Cattani
,
Alexander N. Prokopenya
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 2026, 2003)
, 2003, pp. 6776
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 2026, 2003)
, 2003, pp. 7780
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 2026, 2003)
, 2003, pp. 8194
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 2026, 2003)
, 2003, pp. 95103
Computeralgebraic techniques for manyparticle physics
S. Fritzsche
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 2026, 2003)
, 2003, pp. 105119
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 2026, 2003)
, 2003, pp. 121141
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 2026, 2003)
, 2003, pp. 143162
Analytical representations of coordinates of equilibrium points in the restricted circular manybody problem
A.An. Gonchar
,
E.A. Grebenikov
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 2026, 2003)
, 2003, pp. 163167
Solving intersectio problems with 3D implicit surfaces by using differential equation solving and algebraic techniques
Laureano GonzalezVega
,
Ioana Necula
,
Jaime PuigPey
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 2026, 2003)
, 2003, pp. 169177
Linear stability of stationary solutions of the ringshaped Newton tenbody 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 2026, 2003)
, 2003, pp. 179185
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 2026, 2003)
, 2003, pp. 187197
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 2026, 2003)
, 2003, pp. 199211
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 2026, 2003)
, 2003, pp. 213226
Modular algorithm for computing cohomology: Lie superalgebra of special vector fields on
2/2)
dimensional oddsymplectic superspace
Vladimir V. Kornyak
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 2026, 2003)
, 2003, pp. 227240
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 2026, 2003)
, 2003, pp. 241247
A computer algebra based knowledge system for diagnosis and treatment of migraine
Luis M. Laita
,
Beatriz LópezBravo
,
Eugenio RoanesLozano
,
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 2026, 2003)
, 2003, pp. 249261
The computer algebra web
Michal Mnuk
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, CASC'2003 (Passau, Germany, September 2026, 2003)
, 2003, pp. 263273
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 2026, 2003)
, 2003, pp. 273282
Seiten 1
2
>