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=2011
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Solution formulas for cubic equations without or with constraints
Ting Zhao
,
Dongming Wang
,
Hoon Hong
Journal Symbolic Computation
46
(8), 2011, pp. 904-918
Single-lifting Macaulay-type formulae of generalized unmixed sparse resultants
Ioannis Z. Emiris
,
Christos Konaxis
Journal Symbolic Computation
46
(8), 2011, pp. 919-942
Toric forms of elliptic curves and their arithmetic
Wouter Castryck
,
Frederik Vercauteren
Journal Symbolic Computation
46
(8), 2011, pp. 943-966
Optimal affine reparametrization of rational curves
Luis Felipe Tabera
Journal Symbolic Computation
46
(8), 2011, pp. 967-976
A perturbed differential resultant based implicitization algorithm for linear DPPEs
Sonia L. Rueda
Journal Symbolic Computation
46
(9), 2011, pp. 977-996
Formal enforcement of security policies on concurrent systems
Mahjoub Langar
,
Mohamed Mejri
,
Kamel Adi
Journal Symbolic Computation
46
(9), 2011, pp. 997-1016
The F5 criterion revised
Alberto Arri
,
John Perry
Journal Symbolic Computation
46
(9), 2011, pp. 1017-1029
Radical parametrizations of algebraic curves by adjoint curves
J. Rafael Sendra
,
David Sevilla
Journal Symbolic Computation
46
(9), 2011, pp. 1030-1038
Pólya's Theorem with zeros
Mari Castle
,
Victoria Powers
,
Bruce Reznick
Journal Symbolic Computation
46
(9), 2011, pp. 1039-1048
Macaulay inverse systems revisited
J.F. Pommaret
Journal Symbolic Computation
46
(9), 2011, pp. 1049-1069
Flat families by strongly stable ideals and a generalization of Gröbner bases
Francesca Cioffi
,
Margherita Roggero
Journal Symbolic Computation
46
(9), 2011, pp. 1070-1084
Generating stable modular graphs
Stefano Maggiolo
,
Nicola Pagani
Journal Symbolic Computation
46
(10), 2011, pp. 1087-1097
Computing minimal associated primes in polynomial rings over the integers
Jambor Sebastian
Journal Symbolic Computation
46
(10), 2011, pp. 1098-1104
Ideals with larger projective dimension and regularity
Jesse Beder
,
Jason McCullough
,
Luis Núñez-Betancourt
,
Alexandra Seceleanu
,
Bart Snapp
,
Branden Stone
Journal Symbolic Computation
46
(10), 2011, pp. 1105-1113
A geometric index reduction method for implicit systems of differential algebraic equations
L. D'Alfonso
,
G. Jeronimo
,
F. Ollivier
,
A. Sedoglavic
,
P. Solernó
Journal Symbolic Computation
46
(10), 2011, pp. 1114-1138
Properness defects of projection and minimal discriminant variety
Moroz Guillaume
Journal Symbolic Computation
46
(10), 2011, pp. 1139-1157
Algorithms for computing a primary ideal decomposition without producing intermediate redundant components
Taro Kawazoe
,
Masayuki Noro
Journal Symbolic Computation
46
(10), 2011, pp. 1158-1172
Rational general solutions of planar rational systems of autonomous ODEs
L.X. Châu Ngô
,
Franz Winkler
Journal Symbolic Computation
46
(10), 2011, pp. 1173-1186
Erratum to ``A new algorithm for discussing Gröbner bases with parameters''
Mahdi Dehghani Darmian
,
Amir Hashemi
,
Antonio Montes
Journal Symbolic Computation
46
(10), 2011, pp. 1187-1188
Exact linear modeling using Ore algebras
Viktor Levandovskyy
,
Eva Zerz
,
Kristina Schindelar
Journal Symbolic Computation
46
(11), 2011, pp. 1189-1204
Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences
S.A. Abramov
,
M.A. Barkatou
,
M. van Hoeij
,
M. Petkovs̑ek
Journal Symbolic Computation
46
(11), 2011, pp. 1205-1228
Embedded desingularization of toric varieties
Rocío Blanco
,
Santiago Encinas
Journal Symbolic Computation
46
(11), 2011, pp. 1229-1241
Detecting lacunary perfect powers and computing their roots
Mark Giesbrecht
,
Daniel S. Roche
Journal Symbolic Computation
46
(11), 2011, pp. 1242-1259
Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
Jesús A. De Loera
,
Jon Lee
,
Peter N. Malkin
,
Susan Margulies
Journal Symbolic Computation
46
(11), 2011, pp. 1260-1283
Cylindrical decomposition for systems transcendental in the first variable
Adam Strzeboński
Journal Symbolic Computation
46
(11), 2011, pp. 1284-1290
Seiten
<
1
2
3
4
>