PDF) Satisfiability checking and symbolic computation | A. Bigatti - Academia.edu
Small algorithms for small systems | ACM Communications in Computer Algebra
A Sage package for the symbolic-numeric factorization of linear differential operators
ApaTools: a software toolbox for approximate polynomial algebra: ACM Communications in Computer Algebra: Vol 42, No 3
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | ACM Other conferences
Branch cuts in Maple 17
ACM Communications in Computer Algebra
Communications of the ACM
SIGSAM Home Page
Changbo Chen1, Svyatoslav Covanov2,3, Farnam Mansouri2, Marc Moreno Maza2, Ning Xie2, Yuzhen Xie2 Abstract 1 Design and Specific
SIGSAM Home Page
A Relaxed Algorithm for Online Matrix Inversion | ACM Communications in Computer Algebra
Generating Idempotents in Ideal Codes | ACM Communications in Computer Algebra
An application of exact linear algebra to capacity planning models | ACM Communications in Computer Algebra
A Bibliography of Publications in ACM SIGSAM Bulletin and ACM Communications in Computer Algebra
ACM Communications in Computer Algebra
Sparse Polynomial Interpolation in Practice | ACM Communications in Computer Algebra
PDF) Computer algebra | Bruno Buchberger - Academia.edu
