default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSAM Bulletin, Volume 10
Volume 10, Number 1, February 1976
- Richard D. Jenks:
Problem #11: generation of Runge-Kutta equations. 6-7 - W. Böqe:
Remarks about the application of decision-methods of elementary Real Algebra. 8-9 - George E. Collins:
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis. 10-12 - Billy G. Claybrook:
Factorization of Multivariate Polynomials over the integers. 13 - Rüdiger G. K. Loos:
The algorithm description language ALDES (report). 14-38
Volume 10, Number 2, May 1976
- Billy G. Claybrook:
Extended abstract of "a new approach to the symbolic factorization of multivariate polynomials". 5-6 - Richard P. Brent
:
Analysis of the binary Euclidean algorithm. 6-7 - Maurice Mignotte:
On the separation of the roots of a polynomial (extended abstract). 8-9 - Andrew Chi-Chih Yao, Donald E. Knuth:
Analysis of the subtractive algorithm for greatest common divisors. 9-13 - J. A. van Hulzen:
A solution to SIGSAM problem #8. 16-20 - James N. Hanson, Phillip Russo:
Some data conversions for managing the internal and output form of formac constants. 21-26 - M. Lauer, M. Saemann:
Reference count overflow. 27-29 - James H. Griesmer:
Symbolic mathematical computation: a survey. 30-32
Volume 10, Number 3, August 1976
- Richard J. Fateman:
Final problem set excerpts. 14 - Paul S. Wang:
Implications of symbolic computation for the teaching of mathematics. 15-18 - Bruno Buchberger:
A theoretical basis for the reduction of polynomials to canonical forms. 19-29 - Jukka Korpela:
General characteristics of the ANALITIK language. 30-48
Volume 10, Number 4, November 1976
- Rüdiger Loos, Joachim Neubüser:
Group theoretical computations in mathematical crystallography. 11-18 - Bruno Buchberger:
Some properties of Gröbner-bases for polynomial ideals. 19-24 - Michael Rothstein, Bob F. Caviness:
A structure theorem for exponential and primitive functions a preliminary report. 25-28 - Henry Kanoui:
Some aspects of symbolic integration via predicate logic programming. 29-42 - Paul S. Wang:
Factoring larger multivariate polynomials. 42 - Horst Günter Zimmer:
Factorization of polynomials according to a method of Zassenhaus'. 43-45 - John A. Campbell:
Compact storage for computations involving partitions. 46-47 - David R. Stoutemyer:
Automatic simplification for the absolute-value function and its relatives. 48-49 - Gianna Cioni, Alfonso Miola:
Using minicomputers for algebraic computations. 50-52
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
