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'2000 (
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Fast matrix computation of subresultant polynomial remainder sequences
Alkiviadis G. Akritas
,
Gennadi I. Malaschonok
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 111
About simultaneous representation of two natural numbers by a sum of three primes
I.A. Allakov
,
M.I. Israilov
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 1320
On a description of irreducible component in the set of nilpotent Leibniz algebras containing the algebra of maximal nilindex, and classification of graded filiform Leibniz algebras
Sh.A. Ayupov
,
B.A. Omirov
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 2134
Application of computer algebra in problems on stabilization of gyroscopic systems
Banshchikov Andrey
,
Bourlakova Larissa
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 3547
Implementing computational services based on OpenMath
Matthias Berth
,
FrankMichael Moser
,
Arrigo Triulzi
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 4960
Group classification of the NavierStokes equations for compressible viscous heatconducting gas
Vasiliy V. Bublik
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 6167
Plotting functions and singularities with Maple and Java on a componentbased Web architecture
Dieter Bühler
,
Corinne Chauvin
,
Wolfgang Küchlin
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 6979
Stable selfoscillatory regimes in Volterra models of three populations
T.E. Buriev
,
V.E. Ergashev
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 8185
Computing ''small'' 1homological models for commutative differential graded algebras
CHATA Group
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 87100
Effective computation of algebra of derivations of Lie algebras
L.M. Camacho
,
J.R. Gómez
,
R.M. Navarro
,
I. Rodríguez
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 101111
An integration and reduction for ordinary non linear differential equations library
J. Della Dora
,
F. RichardJung
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 113128
Complexity of derivatives generated by symbolic differentiation
Herbert Fischer
,
Hubert Warsitz
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 129144
An assessment of the efficiency of computer algebra systems in the solution of scientific computing problems
Victor G. Ganzha
,
Evgenii V. Vorozhtsov
,
Michael Wester
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 145166
On the relation between Pommaret and Janet bases
Vladimir P. Gerdt
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 167181
An (asymptotic) error bound for the evaluation of polynomials at roots
Manfred Göbel
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 183190
Three remarks on comprehensive Gröbner and SAGBI bases
Manfred Göbel
,
Patrick Maier
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 191202
Computing the cylindrical algebraic decomposition adapted to a set of equalities
Neila GonzalezCampos
,
Laureano GonzalezVega
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 203217
Symbolic algorithms of algebraic perturbation theory for a hydrogen atom: The Stark effect
Alexander Gusev
,
Valentin Samoilov
,
Vitaly Rostovtsev
,
Sergue Vinitsky
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 219231
CADECOM: Computer algebra software for functional DECOMposition
Jaime Gutierrez
,
Rosario Rubio
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 233247
Computeralgebra and the systematic construction of finite unlabeled structures
Adalbert Kerber
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 249271
Heat invariant
E_2
for nonminimal operator on manifolds with torsion
Vladimir V. Kornyak
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 273284
Computer algebra for automated performance modeling of Fortran programs
Hermann Mierendorff
,
Helmut Schwamborn
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 285299
A parallel symbolicnumerical approach to algebraic curve plotting
Christian Mittermaier
,
Wolfgang Schreiner
,
Franz Winkler
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 301314
Parametric analysis for a nonlinear system
M.A. Novickov
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 315321
Extended splicing system and semigroup of dominoes
Pethuru Raj
,
Naohiro Ishii
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 59, 2000)
, 2000, pp. 323334
Seiten 1
2
>