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=50
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities
Toshinori Oaku
Journal Symbolic Computation
50
, 2013, pp. 1-27
Symbolic termination analysis of solvable loops
Ming Xu
,
Zhi-Bin Li
Journal Symbolic Computation
50
, 2013, pp. 28-49
Homotopy bases and finite derivation type for Schützenberger groups of monoids
R. Gray
,
A. Malheiro
,
S.J. Pride
Journal Symbolic Computation
50
, 2013, pp. 50-78
Application of Dixon resultant to satellite trajectory control by pole placement
B. Paláncz
Journal Symbolic Computation
50
, 2013, pp. 79-99
Recognizing finite matrix groups over infinite fields
A.S. Detinko
,
D.L. Flannery
,
E.A. O'Brien
Journal Symbolic Computation
50
, 2013, pp. 100-109
On the complexity of computing with zero-dimensional triangular sets
Adrien Poteaux
,
Éric Schost
Journal Symbolic Computation
50
, 2013, pp. 110-138
Computations for Coxeter arrangements and Solomon's descent algebra: Groups of rank three and four
Marcus Bishop
,
J. Matthew Douglass
,
Götz Pfeiffer
,
Gerhard Röhrle
Journal Symbolic Computation
50
, 2013, pp. 139-158
Representation of sparse Legendre expansions
Thomas Peter
,
Gerlind Plonka
,
Daniela Roşca
Journal Symbolic Computation
50
, 2013, pp. 159-169
Complexity and algorithms for Euler characteristic of simplicial complexes
Bjarke Hammersholt Roune
,
Eduardo Sáenz-de-Cabezón
Journal Symbolic Computation
50
, 2013, pp. 170-196
Limits of quotients of bivariate real analytic functions
C. Cadavid
,
S. Molina
,
J.D. Vélez
Journal Symbolic Computation
50
, 2013, pp. 197-207
New fast Euclidean algorithms
Marie-Françoise Roy
,
Sidi Mohamed Sedjelmaci
Journal Symbolic Computation
50
, 2013, pp. 208-226
On the bit-complexity of sparse polynomial and series multiplication
Joris van der Hoeven
,
Grégoire Lecerf
Journal Symbolic Computation
50
, 2013, pp. 227-254
On the evaluation of multivariate polynomials over finite fields
E. Ballico
,
M. Elia
,
M. Sala
Journal Symbolic Computation
50
, 2013, pp. 255-262
Upgraded methods for the effective computation of marked schemes on a strongly stable ideal
Cristina Bertone
,
Francesca Cioffi
,
Paolo Lella
,
Margherita Roggero
Journal Symbolic Computation
50
, 2013, pp. 263-290
On the cactus rank of cubics forms
Alessandra Bernardi
,
Kristian Ranestad
Journal Symbolic Computation
50
, 2013, pp. 291-297
Computing generators of groups preserving a bilinear form over residue class rings
Alexander Hulpke
Journal Symbolic Computation
50
, 2013, pp. 298-307
Algorithms for the implementation of the analytic classification of plane branches
Abramo Hefez
,
Marcelo Escudeiro Hernandes
Journal Symbolic Computation
50
, 2013, pp. 308-313
Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
Christopher J. Hillar
,
Abraham Martín del Campo
Journal Symbolic Computation
50
, 2013, pp. 314-334
Computing split maximal toral subalgebras of Lie algebras over fields of small characteristic
Dan Roozemond
Journal Symbolic Computation
50
, 2013, pp. 335-349
Computational methods for nilsoliton metric Lie algebras I
Hülya Kadioglu
,
Tracy L. Payne
Journal Symbolic Computation
50
, 2013, pp. 350-373
Toric complete intersection codes
Ivan Soprunov
Journal Symbolic Computation
50
, 2013, pp. 374-385
Loop invariant synthesis in a combined abstract domain
Shengchao Qin
,
Guanhua He
,
Chenguang Luo
,
Wei-Ngan Chin
,
Xin Chen
Journal Symbolic Computation
50
, 2013, pp. 386-408
Lower bounds for decomposable univariate wild polynomials
Joachim von zur Gathen
Journal Symbolic Computation
50
, 2013, pp. 409-430
A new algorithmic scheme for computing characteristic sets
Meng Jin
,
Xiaoliang Li
,
Dongming Wang
Journal Symbolic Computation
50
, 2013, pp. 431-449
Computing hypercircles by moving hyperplanes
Luis Felipe Tabera
Journal Symbolic Computation
50
, 2013, pp. 450-464
Seiten 1
2
>