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
[1]
Hilfe
Suche: Journal=J. Symbolic Computation AND Volume=14
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Solving a congruence on a graded algebra by a subresultant sequence and its application
Ba-Zhong Shen
Journal Symbolic Computation
14
(5), 1992, pp. 505-522
Automatic generation of mapping functions for infinite elements using REDUCE
Christine Barbier
,
Peter Bettess
,
Jacqueline A. Bettess
Journal Symbolic Computation
14
(5), 1992, pp. 523-534
AC unification through order-sorted AC1 unification
Eric Domenjoud
Journal Symbolic Computation
14
(6), 1992, pp. 537-556
On the choice of pencils in the parametrization of curves
Josef Schicho
Journal Symbolic Computation
14
(6), 1992, pp. 557-576
A general refutational completeness result for an inference procedure based on associative-commutative unification
Etienne Paul
Journal Symbolic Computation
14
(6), 1992, pp. 577-618
Computing the topology of a bounded non algebraic curve in the plane
Daniel Richardson
Journal Symbolic Computation
14
(6), 1992, pp. 619-643
The SetPlayer system for symbolic computation on power sets
David Berque
,
Ronald Cecchini
,
Mark Goldberg
,
Reid Rivenburgh
Journal Symbolic Computation
14
(6), 1992, pp. 645-662
Seiten
<
1
2