How to make AXIOM into a scratchpad

@inproceedings{Jenks1994HowTM,
  title={How to make AXIOM into a scratchpad},
  author={R. Jenks and Barry M. Trager},
  booktitle={ISSAC '94},
  year={1994}
}
  • R. Jenks, Barry M. Trager
  • Published in ISSAC '94 1994
  • Mathematics, Computer Science
  • Scratchpad [GrJe71] was a computer algebra system developed in the early 1970s. Like M&M (Maple [CGG91ab] and Mathematical [W01S92]) and other systems today, Scratchpad had one principal representation for mathematical formulae based on “expression trees”. Its user interface design was based on a pattern-matching paradigm with infinite rewriterule semantics, providing what we believe to be the most natural paradigm for interactive symbolic problem solving. Like M&M, however, user programs were… CONTINUE READING
    5 Citations
    Order sorted computer algebra and coercions
    • 6
    Conditional Categories and Domains
    • 2
    Introduction to Gauss
    • 23
    • PDF

    References

    SHOWING 1-3 OF 3 REFERENCES
    Bell Laboratories
    • Murray Hill,
    • 1973
    Reduce 2
    • A System and Language for Algebraic Manipulation, Proceedings of the Second Symposium for Symbolic and Algebraic Manipulation, S.R. Petrick, Editor, ACM,
    • 1971
    Editor
    • 56
    • Highly Influential