| Publication | Date of Publication | Type |
|---|
Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
ACM Communications in Computer Algebra | 2016-04-25 | Paper |
Algorithm differentiation in Lisp: ADIL
ACM Communications in Computer Algebra | 2015-03-18 | Paper |
scientific article; zbMATH DE number 2151186 (Why is no real title available?)
| 2005-04-04 | Paper |
scientific article; zbMATH DE number 2151187 (Why is no real title available?)
| 2005-04-04 | Paper |
Extracting mathematical expressions from postscript documents
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
Comparing the speed of programs for sparse polynomial multiplication
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
Symbolic computation of divided differences
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
Why computer algebra systems sometimes can't solve simple equations
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
Memory cache and lisp
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
scientific article; zbMATH DE number 1263363 (Why is no real title available?)
| 2002-01-27 | Paper |
scientific article; zbMATH DE number 1263437 (Why is no real title available?)
| 2001-07-17 | Paper |
scientific article; zbMATH DE number 1538926 (Why is no real title available?)
| 2000-12-03 | Paper |
scientific article; zbMATH DE number 1254256 (Why is no real title available?)
| 2000-01-09 | Paper |
scientific article; zbMATH DE number 1273690 (Why is no real title available?)
| 1999-08-12 | Paper |
scientific article; zbMATH DE number 1254279 (Why is no real title available?)
| 1999-08-08 | Paper |
scientific article; zbMATH DE number 1263422 (Why is no real title available?)
| 1999-06-20 | Paper |
scientific article; zbMATH DE number 1254244 (Why is no real title available?)
| 1999-02-23 | Paper |
scientific article; zbMATH DE number 1253991 (Why is no real title available?)
| 1999-02-23 | Paper |
On finding the closest bitwise matches in a fixed set
ACM Transactions on Mathematical Software | 1998-02-09 | Paper |
Fast floating-point processing in Common Lisp
ACM Transactions on Mathematical Software | 1998-01-26 | Paper |
A review of Mathematica
Journal of Symbolic Computation | 1993-01-16 | Paper |
Commentary on: solving symbolic equations with PRESS
ACM SIGSAM Bulletin | 1988-01-01 | Paper |
Eleven proofs of sin 2 x+cos 2 x = 1
ACM SIGSAM Bulletin | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3763167 (Why is no real title available?)
| 1981-01-01 | Paper |
Symbolic and algebraic computer programming systems
ACM SIGSAM Bulletin | 1981-01-01 | Paper |
An Algorithm for Deciding the Convergence of the Rational Iteration x n+1 = f(x n )
ACM Transactions on Mathematical Software | 1977-01-01 | Paper |
On the Computation of Powers of Sparse Polynomials
Studies in Applied Mathematics | 1974-01-01 | Paper |
Polynomial Multiplication, Powers and Asymptotic Analysis: Some Comments
SIAM Journal on Computing | 1974-01-01 | Paper |
On the multiplication of poisson series
Celestial Mechanics | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3425059 (Why is no real title available?)
| 1974-01-01 | Paper |
Optimal code for serial and parallel computation
Communications of the ACM | 1969-01-01 | Paper |
