default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSAM Bulletin, Volume 18
Volume 18, Number 1, February 1984
- S. Kamal Abdali, Bruno Buchberger:
Abstracts. 2-7 - Patrick C. McGeer:
A discussion and implementation of Brown's REX simplification algorithm. 10-19 - Carolyn J. Smith:
Implementation of a package of tools for manipulation of sums. 20-24 - Clifton Williamson Jr.:
Taylor series solutions of explicit ODE's in a strongly typed algebra system. 25-29 - Ken Rimey:
Problem section (rotating fluids): a system of polynomial equations and a solution by an unusual method. 30-32
Volume 18, Number 2, May 1984
- Gérard P. Huet:
The future of symbolic computation: mathematics versus languages. 2-5 - Richard Zippel:
The future of computer algebra. 6-7 - Hans Zassenhaus:
Position statement for EUROCAL 85: the efficiency of mathematical models. 8-9 - Richard J. Fateman:
My view of the future of symbolic and algebraic computation. 10-11 - Regina Llopis de Trias:
A new generation of symbolic and algebraic computation systems. 12-14 - Ferdinando Mora, Lorenzo Robbiano:
The interplay between commutative algebra and computer algebra. 15 - Arjen K. Lenstra:
Factorization of polynomials. 16-18 - Jürg Nievergelt:
Computing with geometric objects. 19 - James H. Davenport:
Integration in finite terms. 20-21 - Wolfgang Trinks:
Comments from number theory on computer algebra. 22-23 - E. V. Krishnamurthy:
Functional programming with combinators for symbolic computation. 24 - Horst Günter Zimmer:
Algorithms in algebraic number theory. 25-26 - Wolfgang Bibel:
Logic and algebraic computation. 26 - J. A. van Hulzen:
The symbolic-numeric interface. 27-28 - Alexandru T. Balaban:
Numerical and non-numerical methods in chemistry: present and future. 29-30 - Nirmal K. Bose:
Symbolic and algebraic computations in multidimensional systems theory. 31-32 - Tamás Legendi:
Cellular hardware and symbolic computation. 33 - Heinz Lüneburg:
Write a book! 34
Volume 18, Number 3, August 1984
- Carolyn J. Smith:
Procedures for polynomial and rational function recognition. 2-4 - Rüdiger Gebauer, Heinz Kredel:
Note on "solution of a general system of equations". 5-6 - Wolfgang Trinks:
On improving approximate results of Buchberger's algorithm by Newton's method. 7-11 - Alexander P. Kryukov:
An antitranslator of the RLISP language. 12-15 - A. Ya. Rodionov:
Work with non-commutative variables in the reduce-2 system for analytical calculations. 16-19 - Daniel Zwillinger
:
Completing the L-th power in Z[x]. 20-22 - Wolfgang Lassner:
Report on a national computer algebra workshop in Leipzig. 22-23 - Franz Winkler:
The Church-Rosser property in computer algebra and special theorem proving: an investigation of critical-pair/completion algorithms (Ph.D. thesis). 22 - David S. Wise:
Representing matrices as quadtrees for parallel processors: extended abstract. 24-25 - S. Kamal Abdali:
Abstracts of computer algebra papers from 1984 national meeting of American Chemical Society. 26-30 - Tuncer I. Ören:
A forum for the synergy of ACM special interest groups. 31-32
Volume 18-19, Number 4-1, November - February 1984-1985
- K. Aspetsberger, G. Funk:
Experiments with muMATH in Austrian high schools. 4-7 - Bruno Buchberger:
CAMP: a teaching project in symbolic computation at the University of Linz. 8-9 - Jacques Calmet:
Introducing computer algebra to users and to students. 10-14 - John J. Cannon, Jim Richardson:
Cayley: teaching group theory by computer. 15-18 - John Hosack, Kenneth Lane, Donald Small:
Report on the use of a symbolic mathematics system in undergraduate instruction. 19-22 - Franz Lichtenberger:
Self-explanatory symbolic computation for math education. 23-24 - Pertti Lounesto:
A computer-aided vector algebra system for use in high schools. 25 - Alfonso Miola:
Complexity issues in algebraic algorithms: relevant topics for mathematical education. 26-30 - Alexander Ollongren:
Classroom experience with interactive formula manipulation. 31-37 - P. D. Pearce:
The introduction of a computer-based tool for solving mathematical problems analytically to an undergraduate course. 38-39 - David R. Stoutemyer:
A radical proposal for computer algebra in education. 40-53 - Horst Günter Zimmer:
Congruent numbers: from elementary to algebraic number theory. 54-62
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-15 19:22 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:
