An object-oriented approach to algebra system design
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
On the multi-threaded computation of integral polynomial greatest common divisors
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Process scheduling in DSC and the large sparse linear systems challenge
Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
Dagwood: a system for manipulating polynomials given by straight-line programs
ACM Transactions on Mathematical Software (TOMS)
A report on OpenMath: a protocol for the exchange of mathematical information
ACM SIGSAM Bulletin
Generic Gram-Schmidt orthogonalization by exact division
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
An OpenMath 1.0 implementation
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A proposal for syntactic data integration math protocols
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Maple on a massively parallel, distributed memory machine
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
FOXBOX: a system for manipulating symbolic objects in black box representation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Software components using symbolic computation for problem solving environments
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Software components for computer algebra
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Certifying inconsistency of sparse linear systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Making the future safe for the past: adding genericity to the Java programming language
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multivariate Polynomial Factorization
Journal of the ACM (JACM)
A Java framework for massively distributed symbolic computing
Mathematics and Computers in Simulation - Special issue on high performance symbolic computing
Exploring Expect
In-place Arithmetic for Polinominals over Zn
DISCO '92 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Toward a formal implementation of computer algebra
ACM SIGSAM Bulletin
Solving projective complete intersection faster
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Further evaluation of Java for symbolic computation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Domains and expressions: an interface between two approaches to computer algebra
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
On the design of a Java computer algebra system
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
On a Java computer algebra system, its performance and applications
Science of Computer Programming
Evaluation of a Java Computer Algebra System
Computer Mathematics
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
A java vs. c++ performance evaluation: a 3d modeling benchmark
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Hi-index | 0.00 |