default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSAM Bulletin, Volume 14
Volume 14, Number 1, February 1980
- Paul S. Wang:
Titles and abstracts: mathematical symbolic manipulation on the computer and applications. 6-7 - Ned Anderson, Paul S. Wang:
MACSYMA experiments with a modified Khachian-type algorithm in linear programming. 8-13 - Jim Purtilo:
On implementing arbitrary precision arithmetic in NIL: an exercise in data abstraction. 14-18 - Joachim Neubüser:
Some remarks on a proposed taxonomy for algebraic computation. 19-20 - Maurice Mignotte:
Tests for polynomials. 21-22 - Jed Marti, Anthony C. Hearn, Martin L. Griss, C. Griss:
Standard LISP report. 23-43
Volume 14, Number 2, May 1980
- Paul S. Wang:
Titles and abstracts: mathematical symbolic manipulation on the computer. 20-22 - James C. Frauenthal:
Change in applied mathematics is revolutionary. 23 - Alkiviadis G. Akritas:
A remark on the proposed syllabus for an AMS short course on computer algebra. 24-25 - Daniel Lazard:
Problem 7 and systems of algebraic equations. 26-29 - Lewis M. Norton:
A note about Laplace transform tables for computer use. 30-31 - Navaratna S. Rajaram:
Random oscillations arising in the MACSYMA implementation of Khachian-type algorithms in linear programming. 32-35 - J. A. van Hulzen:
Computational problems in producing taylor coefficients for the rotating disk problem. 36-49 - Paul S. Wang:
The EEZ-GCD algorithm. 50-60
Volume 14, Number 3, August 1980
- David R. Stoutemyer:
PICOMATH-80™: an even smaller computer algebra package. 5-7 - A. Voros:
Symbol calculus by symbolic computation and semi-classical expansions. 7 - Alkiviadis G. Akritas:
A complete list of references for the paper: "a remark on the proposed syllabus for an AMS short course on computer algebra". 32
Volume 14, Number 4, November 1980
- Toni Kasper:
Integration in finite terms: the liouville theory. 2-8 - B. David Saunders:
A survey of available systems. 12-28 - Leo Bachmair, Bruno Buchberger:
A simplified proof of the characterization theorem for Gröbner-bases. 29-34 - Annalisa Bossi, Livio Colussi, Claudio Cobelli, Giorgio Romanin-Jacur:
Identifiability of compartmental models: algorithms to solve an actual problem by means of symbolic calculus. 35-40 - Maurice Mignotte:
Factorization of univariate polynomials: a statistical study. 41-44
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-12-04 22:09 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:
