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=25
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Counting points on curves over finite fields
Ming-Deh Huang
,
Doug Ierardi
Journal Symbolic Computation
25
(1), 1998, pp. 1-21
A generalization of Gröbner basis algorithms to polycyclic group rings
Klaus Madlener
,
Birgit Reinert
Journal Symbolic Computation
25
(1), 1998, pp. 23-43
Finding intersections and normalizers in finitely generated nilpotent groups
Eddie H. Lo
Journal Symbolic Computation
25
(1), 1998, pp. 45-59
A polycyclic quotient algorithm
Eddie H. Lo
Journal Symbolic Computation
25
(1), 1998, pp. 61-97
The computation and application of the generalized inverse via Maple
Jon Jones
,
N.P. Karampetakis
,
A.C. Pugh
Journal Symbolic Computation
25
(1), 1998, pp. 99-124
A survey of user interfaces for computer algebra systems
Norbert Kajler
,
Neil Soiffer
Journal Symbolic Computation
25
(2), 1998, pp. 127-159
A generic approach to building user interfaces for theorem provers
Yves Bertot
,
Laurent Théry
Journal Symbolic Computation
25
(2), 1998, pp. 161-194
NEWTON: An interactive environment for exploring mathematics
Michael B. Hayden
,
Edmund A. Lamagna
Journal Symbolic Computation
25
(2), 1998, pp. 195-212
Design and implementation of MP, a Protocol for efficient exchange of mathematical expressions
Simon Gray
,
Norbert Kajler
,
Paul W. Wang
Journal Symbolic Computation
25
(2), 1998, pp. 213-237
The use of proof planning for co-operative theorem proving
Helen Lowe
,
Alan Bundy
,
Duncan McLean
Journal Symbolic Computation
25
(2), 1998, pp. 239-261
Interactive theorem proving: An empirical study of user activity
J.S. Aitken
,
P. Gray
,
T. Melham
,
M. Thomas
Journal Symbolic Computation
25
(2), 1998, pp. 263-284
The geobucket data structure for polynomials
Thomas Yan
Journal Symbolic Computation
25
(3), 1998, pp. 285-293
Decomposing polynomial systems into simple systems
Dongming Wang
Journal Symbolic Computation
25
(3), 1998, pp. 295-314
Gröbner bases and normal forms in a subring of the power series ring on countably many variables
Jan Snellman
Journal Symbolic Computation
25
(3), 1998, pp. 315-328
Symbolic asymptotics: Functions of two variables, implicit functions
Bruno Salvy
,
John Shackell
Journal Symbolic Computation
25
(3), 1998, pp. 329-349
Matrix generators for the orthogonal groups
L.J. Rylands
,
D.E. Taylor
Journal Symbolic Computation
25
(3), 1998, pp. 351-360
Explicit bounds for the solutions of elliptic equations with rational coefficients
L. Hajdu
,
T. Herendi
Journal Symbolic Computation
25
(3), 1998, pp. 361-366
Generation and verification of algorithms for symbolic-numeric processing
Ladislav Kocbach
,
Richard Liska
Journal Symbolic Computation
25
(3), 1998, pp. 367-382
Computation of the interval of stability of Runge-Kutta-Nyström methods
B. Paternoster
,
M. Cafaro
Journal Symbolic Computation
25
(3), 1998, pp. 383-394
Completion of rewrite systems with membership constraints - Part I: Deduction rules
Hubert Comon
Journal Symbolic Computation
25
(4), 1998, pp. 397-419
Completion of rewrite systems with membership constraints - Part II: Constraint solving
Hubert Comon
Journal Symbolic Computation
25
(4), 1998, pp. 421-453
Dynamically typed computations for order-sorted equational presentations
Claus Hintermeier
,
Claude Kirchner
,
Héléne Kirchner
Journal Symbolic Computation
25
(4), 1998, pp. 455-526
A semantic approach to order-sorted rewriting
Andreas Werner
Journal Symbolic Computation
25
(4), 1998, pp. 527-569
Bounds for absolute positiveness of multivariate polynomials
Hoon Hong
Journal Symbolic Computation
25
(5), 1998, pp. 571-585
The search for the maximum of a polynomial
Alexei Yu. Uteshev
,
Timofei M. Cherkasov
Journal Symbolic Computation
25
(5), 1998, pp. 587-618
Seiten 1
2
>