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 YEAR=2004
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Constructing Sylvester-type resultant matrices using the dixon formulation
Arthur D. Chtcherba
,
Deepak Kapur
Journal Symbolic Computation
38
(1), 2004, pp. 777-814
Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems
Yong-Bin Li
Journal Symbolic Computation
38
(1), 2004, pp. 815-832
Minimizing representations over number fields
Claus Fieker
Journal Symbolic Computation
38
(1), 2004, pp. 833-842
Computing generators of the ideal of a smooth affine algebraic variety
Cristina Blanco
,
Gabriela Jeronimo
,
Pablo Solernó
Journal Symbolic Computation
38
(1), 2004, pp. 843-872
Modular and incremental proofs of
AC
-termination
Claude Marché
,
Xavier Urbain
Journal Symbolic Computation
38
(1), 2004, pp. 873-897
A simple method for implicitizing rational curves and surfaces
Dongming Wang
Journal Symbolic Computation
38
(1), 2004, pp. 899-914
Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation
A.D. Chtcherba
,
D. Kapur
Journal Symbolic Computation
38
(2), 2004, pp. 915-958
Short rational functions for toric algebra and applications
J.A. de Loera
,
D. Haws
,
R. Hemmecke
,
P. Huggins
,
B. Sturmfels
,
R. Yoshida
Journal Symbolic Computation
38
(2), 2004, pp. 959-973
Linear differential equations in exponential extensions
Anne Fredet
Journal Symbolic Computation
38
(2), 2004, pp. 975-1002
New algorithms for generating Conway polynomials over finite fields
Lenwood S. Heath
,
Nicholas A. Loehr
Journal Symbolic Computation
38
(2), 2004, pp. 1003-1024
Computing lattice ideals of unions of monomial curves
María-Jesús Pisabarro
Journal Symbolic Computation
38
(2), 2004, pp. 1025-1042
A modular algorithm for computing the exponential solutions of a linear differential operator
Thomas Cluzeau
,
Mark van Hoeij
Journal Symbolic Computation
38
(3), 2004, pp. 1043-1076
Computing group resolutions
Graham Ellis
Journal Symbolic Computation
38
(3), 2004, pp. 1077-1118
The Cartan matrix and enumerative calculus
Haibao Duan
,
Xu-an Zhao
,
Xuezhi Zhao
Journal Symbolic Computation
38
(3), 2004, pp. 1119-1144
Automatic solution of families of Thue equations and an example of degree 8
Clemens Heuberger
,
Alain Togbé
,
Volker Ziegler
Journal Symbolic Computation
38
(3), 2004, pp. 1145-1163
Erratum to ''Rational normal forms and minimal decompositions of hypergeometric terms''
S.A. Abramov
,
M. Petkovs̑ek
Journal Symbolic Computation
38
(3), 2004, pp. 1165-1165
Efficiently computing minimal sets of critical pairs
M. Caboara
,
M. Kreuzer
,
L. Robbiano
Journal Symbolic Computation
38
(4), 2004, pp. 1169-1190
Partial standard bases as a tool for studying families of singularities
Anne Frühbis-Krüger
Journal Symbolic Computation
38
(4), 2004, pp. 1191-1205
A normal form algorithm for the Brieskorn lattice
Mathias Schulze
Journal Symbolic Computation
38
(4), 2004, pp. 1207-1225
Implementation of prime decomposition of polynomial ideals over small finite fields
Masayuki Noro
,
Kazuhiro Yokoyama
Journal Symbolic Computation
38
(4), 2004, pp. 1227-1246
Convex hulls, oracles, and homology
Michael Joswig
,
Gunter M. Ziegler
Journal Symbolic Computation
38
(4), 2004, pp. 1247-1259
From the zonotope construction to the Minkowski addition of convex polytopes
Komei Fukuda
Journal Symbolic Computation
38
(4), 2004, pp. 1261-1272
Effective lattice point counting in rational convex polytopes
Jesús A. de Loera
,
Raymond Hemmecke
,
Jeremiah Tauzer
,
Ruriko Yoshida
Journal Symbolic Computation
38
(4), 2004, pp. 1273-1302
Telescoping in the context of symbolic summation in Maple
S.A. Abramov
,
J.J. Carette
,
K.O. Geddes
,
H.Q. Le
Journal Symbolic Computation
38
(4), 2004, pp. 1303-1326
Castelnuovo-Mumford regularity of initial ideals
Lê Tuân Hoa
,
Eero Hyry
Journal Symbolic Computation
38
(5), 2004, pp. 1327-1341
Seiten 1
2
3
4
5
>