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=15
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compiling pattern matching by term decomposition
Laurence Puel
,
Ascander Suarez
Journal Symbolic Computation
15
(1), 1993, pp. 1-26
Implementing CLPB using the connection theorem proving method and a clause management system
Greg Sidebottom
Journal Symbolic Computation
15
(1), 1993, pp. 27-48
Transitivity for weak and strong Gröbner bases
W.W. Adams
,
A. Boyle
,
P. Loustaunau
Journal Symbolic Computation
15
(1), 1993, pp. 49-65
The equivalence problem for finite rings
Stanley Burris
,
John Lawrence
Journal Symbolic Computation
15
(1), 1993, pp. 67-71
The study of motion for a gyroscope with gimbal suspension: Obtaining the highest approximations for a drift of Magnus
D.M. Klimov
,
V.V. Leonov
,
V.M. Rudenko
Journal Symbolic Computation
15
(1), 1993, pp. 73-78
Computer algebra techniques in affinity binding equations: The dimer case
J.P. Bennett
,
M. Grinfeld
,
J. Hubble
Journal Symbolic Computation
15
(1), 1993, pp. 79-83
Computer classification of the integrable coupled Kdv-like systems with unit main matrix
A.Yu. Zharkov
Journal Symbolic Computation
15
(1), 1993, pp. 85-90
Symbolically precise solutions to a homogeneous second order matrix ordinary differential equation with Macsyma
Harry S.D. Mills
Journal Symbolic Computation
15
(1), 1993, pp. 91-98
Multipolynomial resultant algorithms
Dinesh Manocha
,
John F. Canny
Journal Symbolic Computation
15
, 1993, pp. 99-122
On factorizing the symbolic
U
-resultant - Application of the ddet operator
Hirokazu Murao
,
Hidetsune Kobayashi
,
Tetsuro Fujise
Journal Symbolic Computation
15
(2), 1993, pp. 123-142
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
Michael Kalkbrener
Journal Symbolic Computation
15
(2), 1993, pp. 143-167
An algorithm for exact division
Tudor Jebelean
Journal Symbolic Computation
15
(2), 1993, pp. 169-180
On an efficient algorithm for big rational number computations by parallel
p
-adics
Carla Limongelli
Journal Symbolic Computation
15
(2), 1993, pp. 181-197
On lucky primes
Hans-Gert Gräbe
Journal Symbolic Computation
15
(2), 1993, pp. 199-209
Isomorphisms of modular group algebras: An algorithm and its application to groups of order
2^6
Martin Wursthorn
Journal Symbolic Computation
15
(2), 1993, pp. 211-227
On Holt's algorithm
Greg Butler
,
John J. Cannon
Journal Symbolic Computation
15
(2), 1993, pp. 229-233
Finite acyclic theories are unitary
Satish R. Thatte
Journal Symbolic Computation
15
(2), 1993, pp. 235-249
Standard bases in power series rings: Uniqueness and superfluous critical pairs
Thomas Becker
Journal Symbolic Computation
15
(3), 1993, pp. 251-265
Primary decomposition of mudules: Two variables over a field
Elizabeth W. Rutman
Journal Symbolic Computation
15
(3), 1993, pp. 267-275
A combinatorial proof of the effective Nullstellensatz
Thomas W. Dubé
Journal Symbolic Computation
15
(3), 1993, pp. 277-296
On the representation of 1 by binary cubic forms of positive discriminant
Frank Lippok
Journal Symbolic Computation
15
(3), 1993, pp. 297-313
Identities arising from Hecke transformations of modular forms over
Q(\surd2)
and
Q(\surd3)
Jesse Ira Deutsch
Journal Symbolic Computation
15
(3), 1993, pp. 315-323
The Brauer tree for
J_3
in characteristic 17
Robert A. Wilson
Journal Symbolic Computation
15
(3), 1993, pp. 325-330
Completeness of combinations of constructor systems
Aart Middeldorp
,
Yoshihito Toyama
Journal Symbolic Computation
15
(3), 1993, pp. 331-348
Automatic computation of
Z
- & inverse
Z
-transformations by Maple
Rongdong Wang
,
Peng-Yung Woo
Journal Symbolic Computation
15
(3), 1993, pp. 349-363
Seiten 1
2
>