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: Author="Linton, S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation
S. Linton
,
K. Hammond
,
A. Konovalov
,
C. Brown
,
P.W. Trinder
,
H.-W. Loidl
,
P. Horn
,
D. Roozemond
Journal Symbolic Computation
49
, 2013, pp. 95-119
Easy composition of symbolic computation software: A new lingua franca for symbolic computation
S. Linton
,
K. Hammond
,
A. Konovalov
,
A.D. Al Zain
,
P. Trinder
,
P. Horn
,
D. Roozemond
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC'2010 (Technische Universität München, Munich, Germany, July 25-28, 2010)
, 2010, pp. 339-346
Computing transformation semigroups
S.A. Linton
,
G. Pfeiffer
,
E.F. Robertson
,
N. Rus̑kuc
Journal Symbolic Computation
33
(2), 2002, pp. 145-162
Automated theorem proving in support of computer algebra: Symbolic definite integration as a case study
A.A. Adams
,
H. Gottliebsen
,
S.A. Linton
,
U. Martin
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC'99 (Simon Fraser University, Vancouver, Canada, July 29-31, 1999)
, 1999, pp. 253-260
Constructing matrix representations of finitely presented groups
S.A. Linton
Journal Symbolic Computation
12
(4-5), 1991, pp. 427-438