Scratchpad II: an abstract datatype system for mathematical computation
Trends in computer algebra
Scratchpad's View of Algebra I: Basic Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
HEUGCD: How Elementary Upperbounds Generated Cheaper Data
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
On square-free decomposition algorithms
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Algebraic factoring and rational function integration
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Algorithmic differentiation in Axiom
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Generic, type-safe and object oriented computer algebra software
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Unique factorization domains in the java computer algebra system
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Design of concept libraries for c++
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
A system for axiomatic programming
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |