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=24
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Formal solutions and factorization of differential operators with power series coefficients
Mark van Hoeij
Journal Symbolic Computation
24
(1), 1997, pp. 1-30
A rational approach to the Prelle-Singer algorithm
Yiu-Kwong Man
,
Malcolm A.H. MacCallum
Journal Symbolic Computation
24
(1), 1997, pp. 31-43
A note on subresultants and the Lazard/Rioboo/Trager formula in rational function integration
Thom Mulders
Journal Symbolic Computation
24
(1), 1997, pp. 45-50
On the stability of Gröbner bases under specializations
Michael Kalkbrener
Journal Symbolic Computation
24
(1), 1997, pp. 51-58
Increasing model building capabilities by constraint solving on terms with integer exponents
Nicolas Peltier
Journal Symbolic Computation
24
(1), 1997, pp. 59-101
Numeric deduction in symbolic computation - Application to normalizing transformations
Ivan I. Shevchenko
Journal Symbolic Computation
24
(1), 1997, pp. 103-111
PSPCLink: A cooperation between general symbolic and poisson series processors
Alberto Abad
,
Felix San-Juan
Journal Symbolic Computation
24
(1), 1997, pp. 113-122
Computing the Newtonian graph
Dexter Kozen
,
Kjartan Stefánsson
Journal Symbolic Computation
24
(2), 1997, pp. 125-136
Nonlinear control system design by quantifier elimination
Mats Jirstrand
Journal Symbolic Computation
24
(2), 1997, pp. 137-152
Robust multi-objective feedback design by quantifier elimination
Peter Dorato
,
Wei Yang
,
Chaouki Abdallah
Journal Symbolic Computation
24
(2), 1997, pp. 153-159
Testing stability by quantifier elimination
Hoon Hong
,
Richard Liska
,
Stanly Steinberg
Journal Symbolic Computation
24
(2), 1997, pp. 161-187
Simulation and optimization by quantifier elimination
Volker Weispfenning
Journal Symbolic Computation
24
(2), 1997, pp. 189-208
Simplification of quantifier-free formulae over ordered fields
Andreas Dolzmann
,
Thomas Sturm
Journal Symbolic Computation
24
(2), 1997, pp. 209-231
The Magma algebra system I: The user language
Wieb Bosma
,
John Cannon
,
Catherine Playoust
Journal Symbolic Computation
24
(3-4), 1997, pp. 235-265
Kant V4
M. Daberkow
,
C. Fieker
,
J. Klüners
,
M. Pohst
,
K. Roegner
,
M. Schörnig
,
K. Wildanger
Journal Symbolic Computation
24
(3-4), 1997, pp. 267-283
Computing chief series, composition series and socles in large permutation groups
John J. Cannon
,
Derek F. Holt
Journal Symbolic Computation
24
(3-4), 1997, pp. 285-301
Computing Sylow subgroups in permutation groups
John J. Cannon
,
Bruce C. Cox
,
Derek F. Holt
Journal Symbolic Computation
24
(3-4), 1997, pp. 303-316
Computing Ext algebras for finite groups
Jon F. Carlson
,
Edward L. Green
,
Gerhard J.A. Schnieder
Journal Symbolic Computation
24
(3-4), 1997, pp. 317-325
Computing isometries of lattices
W. Plesken
,
B. Souvignier
Journal Symbolic Computation
24
(3-4), 1997, pp. 327-334
Analysing finitely presented groups by constructing representations
W. Plesken
,
B. Souvignier
Journal Symbolic Computation
24
(3-4), 1997, pp. 335-349
Lattices of compatibly embedded finite fields
Wieb Bosma
,
John Cannon
,
Allan Steel
Journal Symbolic Computation
24
(3-4), 1997, pp. 351-369
Computing with subfields
M. Daberkow
Journal Symbolic Computation
24
(3-4), 1997, pp. 371-384
On computing subfields
Jürgen Klüners
,
Michael Pohst
Journal Symbolic Computation
24
(3-4), 1997, pp. 385-397
Integer matrix diagonalization
George Havas
,
Bohdan S. Majewski
Journal Symbolic Computation
24
(3-4), 1997, pp. 399-408
A new algorithm for the computation of canonical forms of matrices over fields
Allan Steel
Journal Symbolic Computation
24
(3-4), 1997, pp. 409-432
Seiten 1
2
>