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
[2]
Hilfe
Suche: Journal=J. Symbolic Computation AND Volume=38
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Certified sparse linear system solving
Thom Mulders
Journal Symbolic Computation
38
(5), 2004, pp. 1343-1373
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
Marco Bozzano
,
Giorgio Delzanno
Journal Symbolic Computation
38
(5), 2004, pp. 1375-1415
Computation of Milnor numbers and critical values at infinity
Arnaud Bodin
Journal Symbolic Computation
38
(5), 2004, pp. 1417-1427
Polynomial factorization algorithms over number fields
Xavier-François Roblot
Journal Symbolic Computation
38
(5), 2004, pp. 1429-1443
Special polycyclic generating sequences for finite soluble groups
John J. Cannon
,
Bettina Eick
,
Charles R. Leedham-Green
Journal Symbolic Computation
38
(5), 2004, pp. 1445-1460
Deterministic distinct-degree factorization of polynomials over finite fields
Shuhong Gao
,
Erich Kaltofen
,
Alan G.B. Lauder
Journal Symbolic Computation
38
(6), 2004, pp. 1461-1470
Elements of small norm in Shanks' cubic extensions of imaginary quadratic fields
Peter Kirschenhofer
,
Jorg M. Thuswaldner
Journal Symbolic Computation
38
(6), 2004, pp. 1471-1486
On algorithmically checking whether a Hilbert series comes from a complete intersection
Rikard Bgvad
,
Thomas Meyer
Journal Symbolic Computation
38
(6), 2004, pp. 1487-1506
Single-factor coefficient bounds
George E. Collins
Journal Symbolic Computation
38
(6), 2004, pp. 1507-1521
On a new procedure for finding nonclassical symmetries
Nicoletă Bîla
,
Jitse Niesen
Journal Symbolic Computation
38
(6), 2004, pp. 1523-1533
Algorithmic proofs of two theorems of Stafford
Anton Leykin
Journal Symbolic Computation
38
(6), 2004, pp. 1535-1550
Algorithmical determination of the topology of a real algebraic surface
E. Fortuna
,
P. Gianni
,
D. Luminati
Journal Symbolic Computation
38
(6), 2004, pp. 1551-1567
Seiten
<
1
2