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=2
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An algorithm for solving second order linear homogeneous differential equations
Jerald J. Kovacic
Journal Symbolic Computation
2
(1), 1986, pp. 3-43
On the computation of group characters
M.D. Atkinson
,
R.A. Hassan
Journal Symbolic Computation
2
(1), 1986, pp. 45-50
Computing character degrees in
p
-groups
Michael C. Slattery
Journal Symbolic Computation
2
(1), 1986, pp. 51-58
Non-standard algorithmic and dynamic logic
Ana Pasztor
Journal Symbolic Computation
2
(1), 1986, pp. 59-81
Some examples for solving systems of algebraic equations by calculating Groebner bases
W. Boege
,
R. Gebauer
,
H. Kredel
Journal Symbolic Computation
2
(1), 1986, pp. 83-98
Proving geometric algorithm non-solvability: An application of factoring polynomials
Chanderjit Bajaj
Journal Symbolic Computation
2
(1), 1986, pp. 99-102
Stability analysis of an optimally controlled light-driven engine
Stanley J. Watowich
,
Jeffery L. Krause
,
R. Stephen Berry
Journal Symbolic Computation
2
(1), 1986, pp. 103-108
On the Descriptive Power of Term Rewriting Systems
J. Avenhaus
Journal Symbolic Computation
2
(2), 1986, pp. 109-122
On the Theory of Graded Structures
L. Robbiano
Journal Symbolic Computation
2
(2), 1986, pp. 139-170
Computing a Ham-sandwich Cut in Two Dimensions
H. Edelsbrunner
,
R. Waupotitsch
Journal Symbolic Computation
2
(2), 1986, pp. 171-178
A Tutorial Introduction to Maple
B.W. Char
,
G.J. Fee
,
K.O. Geddes
,
G.H. Gonnet
,
M.B. Monagan
Journal Symbolic Computation
2
(2), 1986, pp. 179-200
Representations of unusual mathematical structures in scientific applications of symbolic computation
Anthony Duncan
,
Ralph Roskies
Journal Symbolic Computation
2
(2), 1986, pp. 201-206
Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation
A. Duncan
,
R. Roskies
Journal Symbolic Computation
2
(2), 1986, pp. 201-207
Application of the MuMATH(R) symbol manipulation system to chemically significant permutation groups
Carl Trindle
Journal Symbolic Computation
2
(2), 1986, pp. 207-212
Using MACSYMA to write FORTRAN subroutines
Stanly Steinberg
,
Patrick J. Roache
Journal Symbolic Computation
2
(2), 1986, pp. 213-216
Computer Algebra: Past and Future
B.F. Caviness
Journal Symbolic Computation
2
(3), 1986, pp. 217-236
Elementary and Liouvillian Solutions of Linear Differential Equations
J.H. Davenport
,
M.F. Singer
Journal Symbolic Computation
2
(3), 1986, pp. 237-260
On the number of divisions of the Euclidean algorithm applied to Gaussian integers
Heinrich Rolletschek
Journal Symbolic Computation
2
(3), 1986, pp. 261-291
On the Number of Divisions of the Euclidean Algorithm Applied to Gaussian Integers
H. Rolletschek
Journal Symbolic Computation
2
(3), 1986, pp. 261-292
A structure-preserving clause form translation
David A. Plaisted
,
Steven Greenbaum
Journal Symbolic Computation
2
(3), 1986, pp. 293-304
FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis
Paul S. Wang
Journal Symbolic Computation
2
(3), 1986, pp. 305-316
On unification: Equational theories are not bouned
R.V. Book
,
J.H. Siekmann
Journal Symbolic Computation
2
(4), 1986, pp. 317-324
Constructing recursion operators in intuitionistic type theory
Lawrence C. Paulson
Journal Symbolic Computation
2
(4), 1986, pp. 325-355
Fast computation of weight multiplicities
Murray R. Bremner
Journal Symbolic Computation
2
(4), 1986, pp. 357-362
A catalogue of complete group presentations
Philippe le Chenadec
Journal Symbolic Computation
2
(4), 1986, pp. 363-381
Seiten 1
2
>