researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: ACM Comm. Computer Algebra
Home
Index
Info
Volume
Volume
10
, Issue
4
11
--
18
Rüdiger Loos
,
Joachim Neubüser
.
Group theoretical computations in mathematical crystallography
19
--
24
Bruno Buchberger
.
Some properties of Gröbner-bases for polynomial ideals
25
--
28
Michael Rothstein
,
B. F. Caviness
.
A structure theorem for exponential and primitive functions a preliminary report
29
--
42
Henry Kanoui
.
Some aspects of symbolic integration via predicate logic programming
42
--
0
Paul S. Wang
.
Factoring larger multivariate polynomials
43
--
45
Horst Günter Zimmer
.
Factorization of polynomials according to a method of Zassenhaus'
46
--
47
J. A. Campbell
.
Compact storage for computations involving partitions
48
--
49
David R. Stoutemyer
.
Automatic simplification for the absolute-value function and its relatives
50
--
52
Gianna Cioni
,
Alfonso Miola
.
Using minicomputers for algebraic computations
Volume
10
, Issue
3
14
--
0
Richard J. Fateman
.
Final problem set excerpts
15
--
18
Paul S. Wang
.
Implications of symbolic computation for the teaching of mathematics
19
--
29
Bruno Buchberger
.
A theoretical basis for the reduction of polynomials to canonical forms
30
--
48
Jukka Korpela
.
General characteristics of the ANALITIK language
Volume
10
, Issue
2
5
--
6
Billy G. Claybrook
.
Extended abstract of "a new approach to the symbolic factorization of multivariate polynomials"
6
--
7
Richard P. Brent
.
Analysis of the binary Euclidean algorithm
8
--
9
Maurice Mignotte
.
On the separation of the roots of a polynomial (extended abstract)
9
--
13
Andrew Chi-Chih Yao
,
Donald E. Knuth
.
Analysis of the subtractive algorithm for greatest common divisors
16
--
20
J. A. van Hulzen
.
A solution to SIGSAM problem #8
21
--
26
James N. Hanson
,
Phillip Russo
.
Some data conversions for managing the internal and output form of formac constants
27
--
29
M. Lauer
,
M. Saemann
.
Reference count overflow
30
--
32
James H. Griesmer
.
Symbolic mathematical computation: a survey
Volume
10
, Issue
1
6
--
7
Richard D. Jenks
.
Problem #11: generation of Runge-Kutta equations
8
--
9
W. Böqe
.
Remarks about the application of decision-methods of elementary Real Algebra
10
--
12
George E. Collins
.
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis
13
--
0
Billy G. Claybrook
.
Factorization of Multivariate Polynomials over the integers
14
--
38
Rüdiger G. K. Loos
.
The algorithm description language ALDES (report)