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
[1]
Hilfe
Suche: Journal=J. Symbolic Computation AND YEAR=2013
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Differential type operators and Gröbner-Shirshov bases
Li Guo
,
William Y. Sit
,
Ronghua Zhang
Journal Symbolic Computation
52
, 2013, pp. 97-123
An efficient method for computing comprehensive Gröbner bases
Deepak Kapur
,
Yao Sun
,
Dingkang Wang
Journal Symbolic Computation
52
, 2013, pp. 124-142
Explicit solution by radicals, gonal maps and plane models of algebraic curves of genus 5 or 6
Michael Harrison
Journal Symbolic Computation
51
, 2013, pp. 3-21
Calculating generators of multigraded algebras
Nathan Owen Ilten
,
Lars Kastner
Journal Symbolic Computation
51
, 2013, pp. 22-33
Affine solution sets of sparse polynomial systems
María Isabel Herrero
,
Gabriela Jeronimo
,
Juan Sabia
Journal Symbolic Computation
51
, 2013, pp. 34-54
Small polygons and toric codes
Gavin Brown
,
Alexander M. Kasprzyk
Journal Symbolic Computation
51
, 2013, pp. 55-62
Moment matrices, border bases and real radical computation
Jean-Bernard Lasserre
,
Monique Laurent
,
Bernard Mourrain
,
Philipp Rostalski
,
Philippe Trébuchet
Journal Symbolic Computation
51
, 2013, pp. 63-85
Computing tropical linear spaces
Felipe Rincón
Journal Symbolic Computation
51
, 2013, pp. 86-98
Parallel algorithms for normalization
Janko Böhm
,
Wolfram Decker
,
Santiago Laplagne
,
Gerhard Pfister
,
Andreas Steenpaß
,
Stefan Steidel
Journal Symbolic Computation
51
, 2013, pp. 99-114
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
Seiten
<
1
2
3
4
5
>