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=2000
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Foreword to the special issue on schemas
Pierre Flener
,
Kung-Kiu Lau
,
Wolfgang Bibel
Journal Symbolic Computation
30
(1), 2000, pp. 1-3
Program development schemata as derived rules
Penny Anderson
,
David Basin
Journal Symbolic Computation
30
(1), 2000, pp. 5-36
Proofs as schemas and their heuristic use
Matthias Fuchs
Journal Symbolic Computation
30
(1), 2000, pp. 37-61
A calculus for schemas in
Z
S.M. Brien
,
A.P. Martin
Journal Symbolic Computation
30
(1), 2000, pp. 63-91
An abstract formalization of correct schemas for program synthesis
Pierre Flener
,
Kung-Kiu Lau
,
Mario Ornaghi
,
Julian Richardson
Journal Symbolic Computation
30
(1), 2000, pp. 93-127
Finding normal integral bases of cyclic number fields of prime degree
Vincenzo Acciaro
,
Claus Fieker
Journal Symbolic Computation
30
(2), 2000, pp. 129-136
Minimally generating ideals of rational parametric curves in polynomial time
G. Albano
,
F. Cioffi
,
F. Orecchia
,
I. Ramella
Journal Symbolic Computation
30
(2), 2000, pp. 137-149
Generalized strong pseudoprime tests and applications
Pedro Berrizbeitia
,
T.G. Berry
Journal Symbolic Computation
30
(2), 2000, pp. 151-160
Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
M'hammed El Kahoui
,
Andreas Weber
Journal Symbolic Computation
30
(2), 2000, pp. 161-179
Solving index form equations in fields of degree 9 with cubic subfields
István Gaál
Journal Symbolic Computation
30
(2), 2000, pp. 181-193
Permanental ideals
Reinhard C. Laubenbacher
,
Irena Swanson
Journal Symbolic Computation
30
(2), 2000, pp. 195-205
Linear problems in valued fields
Thomas Sturm
Journal Symbolic Computation
30
(2), 2000, pp. 207-219
Computing triangular systems and regular systems
Dongming Wang
Journal Symbolic Computation
30
(2), 2000, pp. 221-236
Computing local Artin maps, and solvability of norm equations
Vincenzo Acciaro
,
Jürgen Klüners
Journal Symbolic Computation
30
(3), 2000, pp. 239-252
Computer algebra and algebraic: Geometry - Achievements and perspectives
Gert-Martin Greuel
Journal Symbolic Computation
30
(3), 2000, pp. 253-289
The Projective Noether Maple Package: Computing the dimension of a projective variety
Marc Giusti
,
Klemens Hägele
,
Grégoire Lecerf
,
Joël Marchand
,
Bruno Salvy
Journal Symbolic Computation
30
(3), 2000, pp. 291-307
Finding a basis of a linear system with pairwise distinct discrete valuations on an algebraic curve
Ryutaroh Matsumoto
,
Shinji Miura
Journal Symbolic Computation
30
(3), 2000, pp. 309-324
Bounds for the roots of lacunary polynomials
Maurice Mignotte
Journal Symbolic Computation
30
(3), 2000, pp. 325-327
Complexity of the Havas, Majewski, Matthews LLL hermite normal form algorithms
Wilberd Van Der Kallen
Journal Symbolic Computation
30
(3), 2000, pp. 329-337
Special issue on applications of Gröbner bases - Foreword of the guest editors
Quoc-Nam Tran
,
Franz Winkler
Journal Symbolic Computation
30
(4), 2000, pp. 339-340
Computing ideals of points
J. Abbott
,
A. Bigatti
,
M. Kreuzer
,
L. Robbiano
Journal Symbolic Computation
30
(4), 2000, pp. 341-356
Reduced Gröbner bases, free difference-differential modules and difference-differential dimension polynomials
Alexander Levin
Journal Symbolic Computation
30
(4), 2000, pp. 357-382
Cellular binomial ideals - Primary decomposition of binomial ideals
Ignacio Ojeda Martínez de Castilla
,
Ramón Peidra Sánchez
Journal Symbolic Computation
30
(4), 2000, pp. 383-400
Automated resolution of singularities for hypersurfaces
Gábor Bodnár
,
Josef Schicho
Journal Symbolic Computation
30
(4), 2000, pp. 401-428
Computing Gröbner bases by FGLM techniques in a non-commutative setting
M.A. Borges-Trenard
,
M. Borges-Quintana
,
T. Mora
Journal Symbolic Computation
30
(4), 2000, pp. 429-449
Seiten 1
2
3
4
>