default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSAM Bulletin, Volume 21
Volume 21, Number 1, February 1987
- Jacques Calmet, Denis Lugiez:
A knowledge-based system for computer algebra. 7-13 - P. van den Heuvel, Ben J. A. Hulshof, J. A. van Hulzen:
Some simple pretty-print facilities for REDUCE. 14-17 - Franz Winkler:
Abstracts of papers that appeared in the Journal of Symbolic Computation. 18-48
Volume 21, Number 2, May 1987
- Gilles Labonté:
Report on a program for solving polynomial equations in non-commuting variables. 4-7 - Patrizia M. Gianni, Alfonso Miola, Teo Mora:
Symbolic and algebraic computation research in Italy. 8-15 - Volker Weispfenning:
Admissible orders and linear forms. 16-18 - Alan R. Katz:
Issues in defining an equations representation standard. 19-24 - Franz Winkler:
Abstracts of Technical Reports Computer Science Branch, Corporate Research and Development, General Electric Company, Schenectady, NY 12345 (GE). 25-26 - Franz Winkler:
Abstracts: J-SIGSAM Japanese Special Interest Group on Symbolic and Algebraic Computation and Report of the Last Seasonal Meeting. 27-28 - Franz Winkler:
Abstracts: Sixth RIMS Conference on Formula Manipulation and its Application to Mathematical Study. 29-31
Volume 21, Number 3, August 1987
- Erwin Engeler:
Goals and design considerations for a mathematical laboratory. 7-8 - John W. Gray:
The symbolic computation laboratory at UIUC. 9-11 - Roman Maeder:
A collection of projects for the mathematical laboratory. 12-94 - Roman Maeder:
Solving boundary-value problems with perturbations. 16-18 - D. Binger:
Burnside's theorem. 19-23 - Formal power series. 24-32
- Oliver Knill, Roman Maeder:
The rotation group of Rubik's cube. 33-43 - Ferrell S. Wheeler:
Bell polynomials. 44-53 - D. Binger:
Optimization on networks. 54-60 - Ronald Peikert:
Automated theorem proving: the resolution method. 61-68 - Wolfgang Küchlin:
Public key encryption. 69-73
Volume 21, Number 4, November 1987
- Richard J. Fateman:
TEX output from MACSYMA-like systems. 1-5 - Deepak Kapur, Paliath Narendran:
Matching, unification and complexity. 6-9 - Carl Ponder:
Applications of hashing in algebraic manipulation (an annotated bibliography). 10-13 - Shuichi Moritsugu:
On the power series solution of a system of algebraic equations. 14-23 - Alkiviadis G. Akritas:
A note on a paper by M. Mignotte. 23 - Maurice Mignotte:
Inequalities about factors of integer polynomials. 24 - Franz Winkler:
Abstracts of papers in the Journal of Symbolic Computation. 25-28 - Franz Winkler:
International Workshop on Computing Tools for Research and Development in Sciences and Engineering. 29-39 - Report of the workshop on environments for computational mathematics. 42-48
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-11-22 19:45 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:
