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: Journal=J. Symbolic Computation AND Volume=37
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Symbolic derivation of Runge-Kutta order conditions
I.Th. Famelis
,
S.N. Papakostas
,
Ch. Tsitouras
Journal Symbolic Computation
37
(3), 2004, pp. 311-327
Solving a class of higher-order equations over a group structure
Ştefan Andrei
,
Wei-Ngan Chin
Journal Symbolic Computation
37
(3), 2004, pp. 329-341
Solving a class of higher-order equations over a group structure
Ştefan Andrei
,
Wei-Ngan Chin
Journal Symbolic Computation
37
(3), 2004, pp. 329-341
Reduction relations for monoid semirings
Friedrich Otto
,
Olga Sokratova
Journal Symbolic Computation
37
(3), 2004, pp. 343-376
Reduction relations for monoid semirings
Friedrich Otto
,
Olga Sokratova
Journal Symbolic Computation
37
(3), 2004, pp. 343-376
Characterization of Pythagorean curves and Pythagoreanization using a rational transform
Min-Ho Ahn
,
Gwang-Il Kim
Journal Symbolic Computation
37
(3), 2004, pp. 377-389
Characterization of Pythagorean curves and Pythagoreanization using a rational transform
Min-Ho Ahn
,
Gwang-Il Kim
Journal Symbolic Computation
37
(3), 2004, pp. 377-389
A long note on Mulders' short product
G. Hanrot
,
P. Zimmermann
Journal Symbolic Computation
37
(3), 2004, pp. 391-401
A long note on Mulders' short product
G. Hanrot
,
P. Zimmermann
Journal Symbolic Computation
37
(3), 2004, pp. 391-401
A symbolic test for
(i,j)
-uniformity in reduced zero-dimensional schemes
Juan Migliore
,
Chris Peterson
Journal Symbolic Computation
37
(3), 2004, pp. 403-413
A symbolic test for
(i,j)
-uniformity in reduced zero-dimensional schemes
Juan Migliore
,
Chris Peterson
Journal Symbolic Computation
37
(3), 2004, pp. 403-413
RRtools - A Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities
Andrew V. Sills
Journal Symbolic Computation
37
(4), 2004, pp. 415-448
RRtools - A Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities
Andrew V. Sills
Journal Symbolic Computation
37
(4), 2004, pp. 415-448
Note on Jacobi's method for approximating dominant roots
Hoon Hong
Journal Symbolic Computation
37
(4), 2004, pp. 449-453
Note on Jacobi's method for approximating dominant roots
Hoon Hong
Journal Symbolic Computation
37
(4), 2004, pp. 449-453
Fast algorithms for uniform semi-unification
Alberto Oliart
,
Wayne Snyder
Journal Symbolic Computation
37
(4), 2004, pp. 455-484
Fast algorithms for uniform semi-unification
Alberto Oliart
,
Wayne Snyder
Journal Symbolic Computation
37
(4), 2004, pp. 455-484
Certified dense linear system solving
T. Mulders
,
A. Storjohann
Journal Symbolic Computation
37
(4), 2004, pp. 485-510
Certified dense linear system solving
T. Mulders
,
A. Storjohann
Journal Symbolic Computation
37
(4), 2004, pp. 485-510
Strongly Noetherian rings and constructive ideal theory
Hervé Perdry
Journal Symbolic Computation
37
(4), 2004, pp. 511-535
Strongly Noetherian rings and constructive ideal theory
Hervé Perdry
Journal Symbolic Computation
37
(4), 2004, pp. 511-535
Computation of the finitistic dimension of monomial algebras
Hongbo Shi
Journal Symbolic Computation
37
(4), 2004, pp. 537-546
Computation of the finitistic dimension of monomial algebras
Hongbo Shi
Journal Symbolic Computation
37
(4), 2004, pp. 537-546
A parallel multi-modular algorithm for computing Lagrange resolvents
Nicolas Rennert
Journal Symbolic Computation
37
(5), 2004, pp. 547-556
A parallel multi-modular algorithm for computing Lagrange resolvents
Nicolas Rennert
Journal Symbolic Computation
37
(5), 2004, pp. 547-556
Seiten
<
1
2
3
>