An algorithm for solving parametric linear systems
Journal of Symbolic Computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Well … it isn't quite that simple
ACM SIGSAM Bulletin
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Dynamic evaluation and real closure
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Algebraic Extensions and Algebraic Closure in Scratchpad II
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
About a New Method for Computing in Algebraic Number Fields
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Guarded expressions in practice
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
NC2 computation of gcd-free basis and application to parallel algebraic numbers computation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Computer algebra handbook
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Journal of Symbolic Computation
Hi-index | 0.00 |