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=2015
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Weight ideals associated to regular and log-linear arrays
Jeremiah W. Johnson
Journal Symbolic Computation
67
, 2015, pp. 1-15
Point equivalence of second-order ODEs: Maximal invariant classification order
Robert Milson
,
Francis Valiquette
Journal Symbolic Computation
67
, 2015, pp. 16-41
Regular expression order-sorted unification and matching
Temur Kutsia
,
Mircea Marin
Journal Symbolic Computation
67
, 2015, pp. 42-67
A generalisation of Miller's algorithm and applications to pairing computations on Abelian varieties
David Lubicz
,
Damien Robert
Journal Symbolic Computation
67
, 2015, pp. 68-92
Bottom-up rewriting for words and terms
I. Durand
,
G. Sénizergues
Journal Symbolic Computation
67
, 2015, pp. 93-121
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