Scratchpad's view of algebra II: A categorical view of factorization
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
ADIFOR: Automatic differentiation in a source translator environment
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
GRADIENT: algorithmic differentiation in Maple
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Algorithm 755: ADOL-C: a package for the automatic differentiation of algorithms written in C/C++
ACM Transactions on Mathematical Software (TOMS)
ADIC: an extensible automatic differentiation tool for ANSI-C
Software—Practice & Experience
ADrien: an implementation of automatic differentiation in Maple
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Evaluating derivatives: principles and techniques of algorithmic differentiation
Evaluating derivatives: principles and techniques of algorithmic differentiation
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algebraic Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Scratchpad's View of Algebra I: Basic Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
| Hi-index | 0.00 |