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=66
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An algorithm to compute the Hilbert depth
Adrian Popescu
Journal Symbolic Computation
66
, 2015, pp. 1-7
Genus computation of global function fields
Jens-Dietrich Bauch
Journal Symbolic Computation
66
, 2015, pp. 8-20
On the length of integers in telescopers for proper hypergeometric terms
Manuel Kauers
,
Lily Yen
Journal Symbolic Computation
66
, 2015, pp. 21-33
From approximate factorization to root isolation with application to cylindrical algebraic decomposition
Kurt Mehlhorn
,
Michael Sagraloff
,
Pengming Wang
Journal Symbolic Computation
66
, 2015, pp. 34-69
On the complexity of Hilbert refutations for partition
S. Margulies
,
S. Onn
,
D.V. Pasechnik
Journal Symbolic Computation
66
, 2015, pp. 70-83
An algorithm for computing mixed sums of products of Bernoulli polynomials and Euler polynomials
Lei Feng
,
Weiping Wang
Journal Symbolic Computation
66
, 2015, pp. 84-97
Finding residue integrals for systems of non-algebraic equations in
\mathbb C^n
A.A. Kytmanov
,
A.M. Kytmanov
,
E.K. Myshkina
Journal Symbolic Computation
66
, 2015, pp. 98-110
Corrigendum to ``A long note on Mulders' short product''
G. Hanrot
,
P. Zimmermann
Journal Symbolic Computation
66
, 2015, pp. 111-112