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=49
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Triangular decomposition of semi-algebraic systems
Changbo Chen
,
James H. Davenport
,
John P. May
,
Marc Moreno Maza
,
Bican Xia
,
Rong Xiao
Journal Symbolic Computation
49
, 2013, pp. 3-26
An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
Deepak Kapur
,
Yao Sun
,
Dingkang Wang
Journal Symbolic Computation
49
, 2013, pp. 27-44
On simultaneous row and column reduction of higher-order linear differential systems
Moulay A. Barkatou
,
Carole El Bacha
,
George Labahn
,
Eckhard Pflügel
Journal Symbolic Computation
49
, 2013, pp. 45-64
Linear
q
-difference equations depending on a parameter
S.A. Abramov
,
A.A. Ryabenko
Journal Symbolic Computation
49
, 2013, pp. 65-77
Dimension-dependent bounds for Gröbner bases of polynomial ideals
Ernst W. Mayr
,
Stephan Ritscher
Journal Symbolic Computation
49
, 2013, pp. 78-94
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation
S. Linton
,
K. Hammond
,
A. Konovalov
,
C. Brown
,
P.W. Trinder
,
H.-W. Loidl
,
P. Horn
,
D. Roozemond
Journal Symbolic Computation
49
, 2013, pp. 95-119