Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSAM Bulletin, Volume 17
Volume 17, Number 1, February 1983
- Florian Bundschuh:
Global data flow analysis in Aldes. 6-11 - Attilio Colagrossi, Alfonso Miola:
Computing real zeros of polynomials with parametric coefficients. 12-15 - Ben J. A. Hulshof, J. A. van Hulzen:
Some reduce facilities for pretty printing subscripts and formal derivatives. 16-20 - Hans-Günther Kruse, Karin Ohlsen:
About the realization of an extended, but really interactive reduce by integration of a small editing and executing system. 21-25 - Jed Marti, John P. Fitch:
REDUCE 2 for CP/M. 26-27 - Arthur C. Norman, Paul S. Wang:
A comparison of the Vaxima and Reduce factorization packages. 28-30 - P. D. Pearce, R. J. Hicks:
Data structures and execution times of Algebraic mode programs for REDUCE. 31-37 - Fritz Schwarz:
A reduce package for series analysis by Hadamard's Theorem and QD schemes. 38-44
Volume 17, Number 2, May 1983
- Chairman's column. 1-5
- G. Belovari:
Complex analysis in symbolic computing of some definite integrals. 6-11 - Thomas G. Berry:
On Coates algorithm. 12-17 - Jacques Calmet, Ian Cohen:
Synthesizing recurrence relations I: analysis of the problems. 18-25 - Dongyue Chen:
Symbol manipulation and formula manipulation. 26-27 - Gary L. Ebert:
Some comments on the modular approach to Gröbner-bases. 28-32
Volume 17, Numbers 3-4, August - November 1983
- Andrzej Krasinski:
ORTOCARTAN: a program for algebraic calculations in general relativity. 12-18 - Mark E. Stickel:
A note on leftmost innermost term reduction. 19-20 - Franz Winkler, Bruno Buchberger:
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. 20 - Paul Smith, Leon Sterling:
Of integration by man and machine. 21-24 - Michael J. Wester
, Stanly L. Steinberg:
An extension to MACSYMA's concept of functional differentiation. 25-30 - Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet:
The maple symbolic computation system. 31-42 - Salim S. Abi-Ezzi:
Clarifications to the symbolic mode in REDUCE. 43-47 - Gaston H. Gonnet, Bruce W. Char, Keith O. Geddes:
Solution of a general system of equations. 48-49
a service of 
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 2024-06-07 19:50 CEST 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:
