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=13
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An extended polynomial GCD algorithm using Hankel matrices
Rafael J. Sendra
,
Juan Llovet
Journal Symbolic Computation
13
(1), 1992, pp. 25-39
A note on ``Zippel Denesting''
Susan Landau
Journal Symbolic Computation
13
(1), 1992, pp. 41-45
A heuristic irreducibility test for univariate polynomials
Michael B. Monagan
Journal Symbolic Computation
13
(1), 1992, pp. 47-57
Slope retention techniques for solving boundary-value problems in differential equations
R.D. Mills
Journal Symbolic Computation
13
(1), 1992, pp. 59-80
Some experiments with a completion theorem prover
Ursula Martin
,
Michael Lai
Journal Symbolic Computation
13
(1), 1992, pp. 81-100
Application of ordered standard bases to catastrophe theory
R.G. Cowell
Journal Symbolic Computation
13
(1), 1992, pp. 101-115
Solving zero-dimensional algebraic systems
D. Lazard
Journal Symbolic Computation
13
(2), 1992, pp. 117-131
A Gröbner basis technique for Padé approximation
Patrick Fitzpatrick
,
John Flynn
Journal Symbolic Computation
13
(2), 1992, pp. 133-138
The complexity of deciding consistency of systems of polynomials in exponent inequalities
Nikolaj N., Jr. Vorobjov
Journal Symbolic Computation
13
(2), 1992, pp. 139-173
Discriminator varieties and symbolic computation
Stanley Burris
Journal Symbolic Computation
13
(2), 1992, pp. 175-207
The inverse of an automorphism in polynomial time
Matthew Dickerson
Journal Symbolic Computation
13
(2), 1992, pp. 209-220
The volume common to two congruent circular cylinders
W.A. Beyer
,
L.R. Fawcett
,
L.P. Harten
,
B.K. Swartz
Journal Symbolic Computation
13
(2), 1992, pp. 221-230
A note on upper bounds for ideal-theoretic problems
D. Lazard
Journal Symbolic Computation
13
(3), 1992, pp. 231-233
A resolution framework for finitely-valued first-order logics
Peter W. O'Hearn
,
Zbigniew Stachniak
Journal Symbolic Computation
13
(3), 1992, pp. 235-254
On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
James Renegar
Journal Symbolic Computation
13
(3), 1992, pp. 255-299
On the computational complexity and geometry of the first-order theory of the reals. Part II: The general decision problem. Preliminaries for quantifier elimination
James Renegar
Journal Symbolic Computation
13
(3), 1992, pp. 301-327
On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination
James Renegar
Journal Symbolic Computation
13
(3), 1992, pp. 329-352
An algorithm for solving parametric linear systems
William Y. Sit
Journal Symbolic Computation
13
(4), 1992, pp. 353-394
Three new algorithms for multivariate polynomial GCD
Tateaki Sasaki
,
Masayuki Suzuki
Journal Symbolic Computation
13
(4), 1992, pp. 395-411
On solutions of linear ordinary differential equations in their coefficient field
Manuel Bronstein
Journal Symbolic Computation
13
(4), 1992, pp. 413-439
On subsumption and semiunification in feature algebras
Jochen Dörre
,
William C. Rounds
Journal Symbolic Computation
13
(4), 1992, pp. 441-461
Products of polynomials and a priori estimates for coefficients in polynomial decompositions: A sharp result
Bernard Beauzamy
Journal Symbolic Computation
13
(5), 1992, pp. 463-472
Some results on Gröbner bases over commutative rings
William W. Adams
,
Ann K. Boyle
Journal Symbolic Computation
13
(5), 1992, pp. 473-484
Implicit representation of rational parametric surfaces
Dinesh Manocha
,
John F. Canny
Journal Symbolic Computation
13
(5), 1992, pp. 485-510
Symbolic computation of derivations using labelled trees
Robert Grossman
,
Richard G. Larson
Journal Symbolic Computation
13
(5), 1992, pp. 511-523
Seiten 1
2
>