Arthur C. Norman

Stephen M. Watt

CoRR, 2024

Software for indefinite integration.

[BibT_eX]

[DOI]

David J. Jeffrey

Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), 2024

Computing Clipped Products.

[BibT_eX]

[DOI]

Stephen M. Watt

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2005

Thirty Years of Lisp Support for REDUCE.

[BibT_eX]

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

Not seeing the roots for the branches: multivalued functions in computer algebra.

[BibT_eX]

[DOI]

David J. Jeffrey

SIGSAM Bull., 2004

2000

Further evaluation of Java for symbolic computation.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1999

A Parallel Symbolic Computation Environment: Structures and Mechanics.

[BibT_eX]

[DOI]

Mantsika Matooane

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1997

CABAL: polynomial and power series algebra on a parallel computer.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996

Memory Tracing of Algebraic Calculations.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996

Interfacing REDUCE to Java.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Compact Delivery Support for REDUCE.

[BibT_eX]

[DOI]

J. Symb. Comput., 1995

1990

A Critical-Pair/Completion Based Integration Algorithm.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1988

Faster Combinator Reduction Using stock Hardware.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1986

Alkahest III: automatic analysis of periodic weakly nonlinear ODEs.

[BibT_eX]

[DOI]

M. A. Moore

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

1984

Some Practical Methods for Rapid Combinator Reduction.

[BibT_eX]

[DOI]

W. R. Stoye

T. J. W. Clarke

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

A comparison of the Vaxima and Reduce factorization packages.

[BibT_eX]

[DOI]

Paul S. Wang

SIGSAM Bull., 1983

1982

The Development of a Vector-based Algebra System.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra, 1982

1981

Implementing a polynomial factorization and GCD package.

[BibT_eX]

[DOI]

P. M. A. Moore

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

1980

SKIM - The S, K, I Reduction Machine.

[BibT_eX]

[DOI]

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1979

A one-pass prettyprinter.

[BibT_eX]

[DOI]

Anthony C. Hearn

ACM SIGPLAN Notices, 1979

Testing word-sized numbers for primality.

[BibT_eX]

[DOI]

SIGSAM Bull., 1979

The initial design of a vector based algebra system.

[BibT_eX]

[DOI]

P. M. A. Moore

Proceedings of the Symbolic and Algebraic Computation, 1979

Integration -- the dust settles? (invited).

[BibT_eX]

[DOI]

James H. Davenport

Proceedings of the Symbolic and Algebraic Computation, 1979

1978

A Note on Compacting Garbage Collection.

[BibT_eX]

[DOI]

Comput. J., 1978

Towards a REDUCE solution to SIGSAM problem 7.

[BibT_eX]

[DOI]

SIGSAM Bull., 1978

1977

Implementing LISP in a High-level Language.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1977

1976

Expanding the Solutions of Implicit Sets of Ordinary Differential Equations in Power Series.

[BibT_eX]

[DOI]

Comput. J., 1976

1975

Computing with Formal Power Series.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 1975

The SCRATCHPAD power series package.

[BibT_eX]

[DOI]

SIGSAM Bull., 1975

Solutions to problem 8.

[BibT_eX]

[DOI]

SIGSAM Bull., 1975

Double by single length division.

[BibT_eX]

[DOI]

SIGSAM Bull., 1975

1972

A system for the solution of initial and two-point boundary value problems.

[BibT_eX]

[DOI]