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=2002
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics
Michael Hemmer
,
Laurent Dupont
,
Sylvain Petitjean
,
Elmar Schömer
Journal Symbolic Computation
46
(4), 2011, pp. 467-494
Orbit-stabilizer problems and computing normalizers for polycyclic groups
Bettina Eick
Journal Symbolic Computation
34
(1), 2002, pp. 1-19
Modular termination proofs for rewriting using dependency pairs
Jürgen Giesl
,
Thomas Arts
,
Enno Ohlebusch
Journal Symbolic Computation
34
(1), 2002, pp. 21-58
Barnett's theorems about the greatest common divisor of several univariate polynomials through Bezout-like matrices
Gema M. Diaz-Toca
,
Laureano Gonzalez-Vega
Journal Symbolic Computation
34
(1), 2002, pp. 59-81
Quartic fields and radical extensions
Huah Chu
,
Ming-Chang Kang
Journal Symbolic Computation
34
(1), 2002, pp. 83-89
Identifying half-twists using randomized algorithm methods
S. Kaplan
,
M. Teicher
Journal Symbolic Computation
34
(2), 2002, pp. 91-103
Computation of the dual of a plane projective curve
Driss Bouziane
,
M'Hammed El Kahoui
Journal Symbolic Computation
34
(2), 2002, pp. 105-117
Elimination theory in codimension 2
Alicia Dickenstein
,
Bernd Sturmfels
Journal Symbolic Computation
34
(2), 2002, pp. 119-135
On the resolution of resultant type equations
István Gaál
Journal Symbolic Computation
34
(2), 2002, pp. 137-144
Interval arithmetic in cylindrical algebraic decomposition
George E. Collins
,
Jeremy R. Johnson
,
Werner Krandick
Journal Symbolic Computation
34
(2), 2002, pp. 145-157
Computing rational forms of integer matrices
Mark Giesbrecht
,
Arne Storjohann
Journal Symbolic Computation
34
(3), 2002, pp. 157-172
Potential good reduction of elliptic curves
Masanari Kida
Journal Symbolic Computation
34
(3), 2002, pp. 173-180
Involutive bases in the Weyl algebra
Marcus Hausdorf
,
Werner M. Seiler
,
Rainer Steinwandt
Journal Symbolic Computation
34
(3), 2002, pp. 181-198
Algorithmic computation of flattenings and of modular deformations
Bernd Martin
Journal Symbolic Computation
34
(3), 2002, pp. 199-212
Efficient collection in infinite polycyclic groups
Volker Gebhardt
Journal Symbolic Computation
34
(3), 2002, pp. 213-228
The calculation of radical ideals in positive characteristic
Gregor Kemper
Journal Symbolic Computation
34
(3), 2002, pp. 229-238
Incorporating decision procedures in implicit induction
Alessandro Armando
,
Michaël Rusinowitch
,
Sorin Stratulat
Journal Symbolic Computation
34
(4), 2002, pp. 241-258
Equality in computer algebra and beyond
James H. Davenport
Journal Symbolic Computation
34
(4), 2002, pp. 259-270
A constructive algebraic hierarchy in Coq
Herman Geuvers
,
Randy Pollack
,
Freek Wiedijk
,
Jan Zwanenburg
Journal Symbolic Computation
34
(4), 2002, pp. 271-286
Comparing approaches to the exploration of the domain of residue classes
Andreas Meier
,
Martin Pollet
,
Volker Sorge
Journal Symbolic Computation
34
(4), 2002, pp. 287-306
Computing modular invariants of
p
-groups
R. James Shank
,
David L. Wehlau
Journal Symbolic Computation
34
(5), 2002, pp. 307-327
MultInt, a MAPLE package for multiple integration by the WZ method
Akalu Tefera
Journal Symbolic Computation
34
(5), 2002, pp. 329-353
Linear differential operators for polynomial equations
Olivier Cormier
,
Michael F. Singer
,
Barry M. Trager nd Felix Ulmer
Journal Symbolic Computation
34
(5), 2002, pp. 355-398
Valuations and filtrations
Edward Mosteig
,
Moss Sweedler
Journal Symbolic Computation
34
(5), 2002, pp. 399-435
Thomas' family of Thue equations over imaginary quadratic fields
Clemens Heuberger
,
Attila Pethŏ
,
Robert F. Tichy
Journal Symbolic Computation
34
(5), 2002, pp. 437-449
Seiten 1
2
3
4
>