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=1
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Equational methods in first order predicate calculus
Etienne Paul
Journal Symbolic Computation
1
(1), 1985, pp. 7-29
Properties of substitutions and unifications
Elmar Eder
Journal Symbolic Computation
1
(1), 1985, pp. 31-46
Optimal solutions for a class of point retrieval problems
B. Chazelle
,
H. Edelsbrunner
Journal Symbolic Computation
1
(1), 1985, pp. 47-56
Fast parallel absolute irreducibility testing
Erich Kaltofen
Journal Symbolic Computation
1
(1), 1985, pp. 57-67
MACSYMA from
F
to
G
Richard Pavelle
,
Paul S. Wang
Journal Symbolic Computation
1
(1), 1985, pp. 69-100
Computer algebra application for classification of integrable non-linear evolution equations
V.P. Gerdt
,
A.B. Shvachka
,
A.Yu. Zharkov
Journal Symbolic Computation
1
(1), 1985, pp. 101-107
Explicit evaluation of certain definite integrals involving powers of logarithms
K.S. Kölbig
Journal Symbolic Computation
1
(1), 1985, pp. 109-114
A bibliography on parallel inference machines
W. Bibel
,
K. Aspetsberger
Journal Symbolic Computation
1
(1), 1985, pp. 115-118
Automatic programming: A tutorial on formal methodologies
Alan W. Biermann
Journal Symbolic Computation
1
(2), 1985, pp. 119-142
Effective computation with group homomorphisms
Gregory Butler
Journal Symbolic Computation
1
(2), 1985, pp. 143-157
Polynomial decomposition algorithms
David R. Barton
,
Richard Zippel
Journal Symbolic Computation
1
(2), 1985, pp. 159-168
Decreasing the nesting depth of expressions involving square roots
Allan Borodin
,
Ronald Fagin
,
John E. Hopcroft
,
Martin Tompa
Journal Symbolic Computation
1
(2), 1985, pp. 169-188
Simplification of expressions involving radicals
Richard Zippel
Journal Symbolic Computation
1
(2), 1985, pp. 189-210
Solving algebraic problems with REDUCE
John Fitch
Journal Symbolic Computation
1
(2), 1985, pp. 211-227
An algorithm for determining polynomial first integrals of autonomous sytems of ordinary differential equations
Fritz Schwarz
Journal Symbolic Computation
1
(2), 1985, pp. 229-233
Applications of a factorisation theorem for ninth-order aberration optics
Miguel Navarro-Saad
,
Kurt Bernardo Wolf
Journal Symbolic Computation
1
(2), 1985, pp. 235-239
An application of factoring
D. Coppersmith
,
J.H. Davenport
Journal Symbolic Computation
1
(2), 1985, pp. 241-243
Automated inferencing
W. Bibel
Journal Symbolic Computation
1
(3), 1985, pp. 245-260
Ideal bases and primary decomposition: Case of two variables
D. Lazard
Journal Symbolic Computation
1
(3), 1985, pp. 261-270
Symbolic iterative algorithm for generalised inversion of rational polynomial matrices
E.V. Krishnamurthy
Journal Symbolic Computation
1
(3), 1985, pp. 271-281
Integration in finite terms with special functions: The error function
G.W. Cherry
Journal Symbolic Computation
1
(3), 1985, pp. 283-302
Theory of summation in finite terms
Michael Karr
Journal Symbolic Computation
1
(3), 1985, pp. 303-315
Using symbolic computation in buckling analysis
Nicola Rizzi
,
Amabile Tatone
Journal Symbolic Computation
1
(3), 1985, pp. 317-321
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
Thierry Coquand
,
Gérard Huet
Journal Symbolic Computation
1
(3), 1985, pp. 323-328
Termination orderings for associative-commutative rewriting systems
Leo Bachmair
,
David A. Plaisted
Journal Symbolic Computation
1
(4), 1985, pp. 329-349
Seiten 1
2
>