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
[1]
Hilfe
Suche: Journal=J. Symbolic Computation AND YEAR=1997
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Implicitization of nested circular curves
Hoon Hong
Journal Symbolic Computation
23
(2-3), 1997, pp. 177-189
Parametrization of algebraic curves over optimal field extensions
J. Rafael Sendra
,
Franz Winkler
Journal Symbolic Computation
23
(2-3), 1997, pp. 191-207
Rational parametrizations of algebraic curves using a cononical divisor
Mark van Hoeij
Journal Symbolic Computation
23
(2-3), 1997, pp. 209-227
An algebraic approach to computing adjoint curves
Michal Mn̑uk
Journal Symbolic Computation
23
(2-3), 1997, pp. 229-240
Real reparametrizations of real curves
Tomas Recio
,
J. Rafael Sendra
Journal Symbolic Computation
23
(2-3), 1997, pp. 241-254
Computing rational parametrizations of canal surfaces
Martin Peternell
,
Helmut Pottmann
Journal Symbolic Computation
23
(2-3), 1997, pp. 255-266
Parametric generalized offsets to hypersurfaces
Enrique Arrondo
,
Juana Sendra
,
J. Rafael Sendra
Journal Symbolic Computation
23
(2-3), 1997, pp. 267-285
Symbolic constraints in constructive geometric constraint solving
Christoph M. Hoffmann
,
Robert Joan-Arinyo
Journal Symbolic Computation
23
(2-3), 1997, pp. 287-299
Conic approximation of conic offsets
Rida T. Farouki
Journal Symbolic Computation
23
(2-3), 1997, pp. 301-313
Spline approximations of real algebraic surfaces
Chandrajit L. Bajaj
,
Guoliang Xu
Journal Symbolic Computation
23
(2-3), 1997, pp. 315-333
Some algorithms for nilpotent permutation groups
Eugene M. Luks
,
Ferenc Rákóczi
,
Charles R.B. Wright
Journal Symbolic Computation
23
(4), 1997, pp. 335-354
Subresultants under composition
Hoon Hong
Journal Symbolic Computation
23
(4), 1997, pp. 355-365
Interactive theorem proving with temporal logic
Amy Felty
,
Laurent Théry
Journal Symbolic Computation
23
(4), 1997, pp. 367-397
Omega-termination is undecidable for totally terminating term rewriting systems
Alfons Geser
Journal Symbolic Computation
23
(4), 1997, pp. 399-411
SP, a package for Schubert polynomials realized with the computer algebra system MAPLE
Sébastien Veigneau
Journal Symbolic Computation
23
(4), 1997, pp. 413-425
Two perturbation calculations in fluid mechanics using large-expression management
R.M. Corless
,
D.J. Jeffrey
,
M.B. Monagan
,
Pratibha
Journal Symbolic Computation
23
(4), 1997, pp. 427-443
Visualizations for mathematics courses based on a computer algebra system
Beatrice Amrhein
,
Oliver Gloor
,
Roman E. Maeder
Journal Symbolic Computation
23
(5-6), 1997, pp. 447-452
A use of computers to teach group theory and introduce students to research
Nigel Boston
Journal Symbolic Computation
23
(5-6), 1997, pp. 453-458
Using the Magma computer algebra system in abstract algebra courses
John Cannon
,
Catherine Playoust
Journal Symbolic Computation
23
(5-6), 1997, pp. 459-484
Scientific computing: One part of the revolution
Robert M. Corless
,
David J. Jeffery
Journal Symbolic Computation
23
(5-6), 1997, pp. 485-495
A course in computational nonassociative algebra
David P. Jacobs
Journal Symbolic Computation
23
(5-6), 1997, pp. 497-502
Teaching computational abstract algebra
Erich Kaltofen
Journal Symbolic Computation
23
(5-6), 1997, pp. 503-515
Applications of the differential algebra package diffgrob2 to classical symmetries of differential equations
Elizabeth L. Mansfield
,
Peter A. Clarkson
Journal Symbolic Computation
23
(5-6), 1997, pp. 517-533
Worksheets and notebooks: Can we teach mathematical algorithms with them?
Michael B. Monagan
Journal Symbolic Computation
23
(5-6), 1997, pp. 535-549
Computer algebra and interpolation: A lesson plan
Nicolas Robidoux
Journal Symbolic Computation
23
(5-6), 1997, pp. 551-576
Seiten
<
1
2
3
4
>