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=23
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Paramodulation with built-in AC-theories and symbolic constraints
Robert Nieuwenhuis
,
Albert Rubio
Journal Symbolic Computation
23
(1), 1997, pp. 1-21
Oriented equational logic programming is complete
Christopher Lynch
Journal Symbolic Computation
23
(1), 1997, pp. 23-45
Automated theorem proving by test set induction
Adel Bouhoula
Journal Symbolic Computation
23
(1), 1997, pp. 47-77
Solving a unification problem under constrained substitutions using tree automata
Yuichi Kaji
,
Toru Fujiwara
,
Tadao Kasami
Journal Symbolic Computation
23
(1), 1997, pp. 79-117
A new algorithm for computing the asymptotic solutions of a class of linear differential systems
B.M. Brown
,
M.S.P. Eastham
,
D.K.R. McCormack
Journal Symbolic Computation
23
(1), 1997, pp. 119-131
Implicitization of paramatric curves and surfaces by using multidimensional Newton formulae
Laureano Gonzalez-Vega
Journal Symbolic Computation
23
(2-3), 1997, pp. 137-151
Implicitizing rational curves by the method of moving algebraic curves
Tom Sederberg
,
Ron Goldman
,
Hang Du
Journal Symbolic Computation
23
(2-3), 1997, pp. 153-175
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
Seiten 1
2
>