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=40
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Tree automata for rewrite strategies
Pierre Réty
,
Julie Vuotto
Journal Symbolic Computation
40
(1), 2005, pp. 749-794
Operational semantics for declarative multi-paradigm languages
Elvira Albert
,
Michael Hanus
,
Frank Huch
,
Javier Oliver
,
Germán Vidal
Journal Symbolic Computation
40
(1), 2005, pp. 795-829
A survey of strategies in rule-based program transformation systems
Eelco Visser
Journal Symbolic Computation
40
(1), 2005, pp. 831-873
Evaluation strategies for functional logic programming
Sergio Antoy
Journal Symbolic Computation
40
(1), 2005, pp. 875-903
Decidability of bounded higher-order unification
Manfred Schmidt-Schauß
,
Klaus U. Schulz
Journal Symbolic Computation
40
(2), 2005, pp. 905-954
On the Gosper-Petkovs̑ek representation of rational functions
William Y.C. Chen
,
Husam L. Saad
Journal Symbolic Computation
40
(2), 2005, pp. 955-963
Computing instanton numbers of curve singularities
Elizabeth Gasparim
,
Irena Swanson
Journal Symbolic Computation
40
(2), 2005, pp. 965-978
Perfect bases for differential equations
Sebastian Gann
,
Herwig Hauser
Journal Symbolic Computation
40
(2), 2005, pp. 979-997
Operations with regular holonomic
D
-modules with support a normal crossing
Josep Àlvarez Montaner
Journal Symbolic Computation
40
(2), 2005, pp. 999-1012
Computing subgroups of bounded index in a finite group
John J. Cannon
,
Derek F. Holt
,
Michael Slattery
,
Allan K. Steel
Journal Symbolic Computation
40
(2), 2005, pp. 1013-1022
Generic initial ideals of points and curves
Aldo Conca
,
Jessica Sidman
Journal Symbolic Computation
40
(3), 2005, pp. 1023-1038
Gröbner bases and Syzygies on bimodules over PBW algebras
Manuel García Román
,
Socorro García Román
Journal Symbolic Computation
40
(3), 2005, pp. 1039-1052
Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic
Allan Steel
Journal Symbolic Computation
40
(3), 2005, pp. 1053-1075
Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials
J. Gago-Vargas
,
M.I. Hartillo-Hermoso
,
J.M. Ucha-Enríquez
Journal Symbolic Computation
40
(3), 2005, pp. 1076-1086
Using resultants for SAGBI basis verification in the univariate polynomial ring
Anna Torstensson
,
Victor Ufnarovski
,
Hans Öfverbeck
Journal Symbolic Computation
40
(3), 2005, pp. 1087-1105
Linear groupoids and the associated wreath products
J.D. Phillips
,
Petr Vojtȇchovský
Journal Symbolic Computation
40
(3), 2005, pp. 1106-1125
Erratum to ''Cyclic resultants''
Christopher J. Hillar
Journal Symbolic Computation
40
(3), 2005, pp. 1126-1127
Detecting unnecessary reductions in an involutive basis computation
Joachim Apel
,
Ralf Hemmecke
Journal Symbolic Computation
40
(4-5), 2005, pp. 1131-1149
Implicitizing rational hypersurfaces using approximation complexes
Laurent Busé
,
Marc Chardin
Journal Symbolic Computation
40
(4-5), 2005, pp. 1150-1168
Some constructions for real algebraic curves
E. Fortuna
,
P. Gianni
,
P. Parenti
Journal Symbolic Computation
40
(4-5), 2005, pp. 1169-1179
Computational algebra for bifurcation theory
Karin Gatermann
,
Serkan Hosten
Journal Symbolic Computation
40
(4-5), 2005, pp. 1180-1207
Simplification techniques for maps in simplicial topology
Rocio Gonzalez-Diaz
,
Pedro Real
Journal Symbolic Computation
40
(4-5), 2005, pp. 1208-1224
Enumeration and 3D representation of the stereo-isomers of alkane molecules
Nik Lygeros
,
Paul-Valère Marchand
,
Marc Massot
Journal Symbolic Computation
40
(4-5), 2005, pp. 1225-1241
Sturm's algorithm and isolating blocks
Richard Moeckel
Journal Symbolic Computation
40
(4-5), 2005, pp. 1242-1255
Asymptotic invariant tori of perturbed two-body problems
Jesús F. Palacián
,
Patricia Yanguas
Journal Symbolic Computation
40
(4-5), 2005, pp. 1256-1268
Seiten 1
2
>