The SAC-2 Computer Algebra System

@inproceedings{Collins1985TheSC,
  title={The SAC-2 Computer Algebra System},
  author={G. Collins},
  booktitle={European Conference on Computer Algebra},
  year={1985}
}
  • G. Collins
  • Published in
    European Conference on…
    1985
  • Computer Science
  • 23 Citations

    Topics from this paper

    Using Machine Learning to Improve Cylindrical Algebraic Decomposition
    • 15
    • PDF
    The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
    • 19
    • PDF
    Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases
    • 12
    • PDF
    A Generic Computer Algebra Library in Oberon
    • 3
    Heuristic search and pruning in polynomial constraints satisfaction
    • Hoon Hong
    • Mathematics, Computer Science
    • Annals of Mathematics and Artificial Intelligence
    • 2004
    • 7
    Solving Numerical Constraints
    • 47