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=16
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Schur-Cohn sub-transforms of a polynomial
M.Ph. Saux Picart
Journal Symbolic Computation
16
(1), 1993, pp. 1-7
Galois groups of second and third order linear differential equations
Michael F. Singer
,
Felix Ulmer
Journal Symbolic Computation
16
(1), 1993, pp. 9-36
Liouvillian and algebraic solutions of second and third order linear differential equations
Michael F. Singer
,
Felix Ulmer
Journal Symbolic Computation
16
(1), 1993, pp. 37-73
Low degree solutions to linear equations with
K[x]
coefficients
M. Kalkbrener
,
M. Sweedler
,
L. Taylor
Journal Symbolic Computation
16
(1), 1993, pp. 75-81
An elimination method for polynomial systems
Dongming Wang
Journal Symbolic Computation
16
(2), 1993, pp. 83-114
Bounds for the height of a factor of a polynomial in terms of Bombieri's norms: I. The largest factor
David W. Boyd
Journal Symbolic Computation
16
(2), 1993, pp. 115-130
Bounds for the height of a factor of a polynomial in terms of Bombieri's norms: II. The smallest factor
David W. Boyd
Journal Symbolic Computation
16
(2), 1993, pp. 131-145
Some questions concerning computer-generated proofs of a binomial double-sum identity
George E. Andrews
,
Peter Paule
Journal Symbolic Computation
16
(2), 1993, pp. 147-153
An axiomatic approach to robust geometric programs
Peter Schorn
Journal Symbolic Computation
16
(2), 1993, pp. 155-165
On the problem of generating small convergent systems
Klaus Madlener
,
Andrea Sattler-Klein
,
Friedrich Otto
Journal Symbolic Computation
16
(2), 1993, pp. 167-187
Parallel scheduling of recursively defined arrays: Revisited
Todd Torgersen
Journal Symbolic Computation
16
(2), 1993, pp. 189-226
Integration of a class of transcendental Liouvillian functions with error-functions - Part II
Paul H. Knowles
Journal Symbolic Computation
16
(3), 1993, pp. 227-241
Improvement of the degree setting in Gosper's algorithm
Petr Lisonȇk
,
Peter Paule
,
Volker Strehl
Journal Symbolic Computation
16
(3), 1993, pp. 243-258
Computing view graphs of algebraic surfaces
J.H. Rieger
Journal Symbolic Computation
16
(3), 1993, pp. 259-272
A note on polynomial reduction
Alyson Reeves
,
Bernd Sturmfels
Journal Symbolic Computation
16
(3), 1993, pp. 273-277
Term rewrite systems for lattice theory
Ralph Freese
,
J. Jez̑ek
,
J.B. Nation
Journal Symbolic Computation
16
(3), 1993, pp. 279-288
Experimenting with the identity
(xy)z=y(zx)
Irvin Roy Hentzel
,
David P. Jacobs
,
Sekhar V. Muddana
Journal Symbolic Computation
16
(3), 1993, pp. 289-293
On the resolution of
F(x,y)=G(x,y)
István Gaál
Journal Symbolic Computation
16
(3), 1993, pp. 295-303
Isomorphism testing for
p
-groups
E.A. O'Brien
Journal Symbolic Computation
16
(3), 1993, pp. 305-320
A fast algorithm for finding ``small'' solutions of
F(x,y)=G(x,y)
over imaginary quadratic fields
István Gaál
Journal Symbolic Computation
16
(4), 1993, pp. 321-328
An algorithm for computing graded algebras
Michael Vaughan-Lee
Journal Symbolic Computation
16
(4), 1993, pp. 345-354
On computing closed forms for indefinite summations
Yiu-Kwong Man
Journal Symbolic Computation
16
(4), 1993, pp. 355-376
Chebyshev and Legendre spectral methods in algebraic manipulation languages
John P. Boyd
Journal Symbolic Computation
16
(4), 1993, pp. 377-399
Factorization of polynomials over finite fields and characteristic sequences
Harald Niederreiter
,
Rainer Göttfert
Journal Symbolic Computation
16
(5), 1993, pp. 401-412
The transitive groups of degree fourteen and fifteen
Greg Butler
Journal Symbolic Computation
16
(5), 1993, pp. 413-422
Seiten 1
2
>