AxiomBiblio

This folder holds the following references to publications, sorted by year and author.

There are 137 references in this bibliography folder.

Daly, T (2006).
Axiom Volume 1: Tutorial
Lulu, Inc., 860 Aviation Parkway, Suite 300, Morrisville, NC 27560, USA.

Carette, J (2004).
Understanding expression simplification
In: Proceedings of the 2004 international symposium on Symbolic and algebraic computation, pp. 72 - 79, ACM Press,.

Youssef, S (2004).
Prospects for Category Theory in Aldor
Webpublished, http://atlas.bu.edu/~youssef/papers/math/aldor/aldor.pdf.

Barnett, MP (2002).
Computer algebra in the life sciences
SIGSAM Bull., 36(4):5–32.

Buchberger, B (2002).
Computer algebra: the end of mathematics?
SIGSAM Bull., 36(1):3 - 9.

Dumas, JG, Gautier, T, and Pernet, C (2002).
Finite field linear algebra subroutines
In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, pp. 63–74, ACM Press,.

Rioboo, R (2002).
Towards faster real algebraic numbers
In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, pp. 221–228, ACM Press,.

Domínguez, C and Rubio, J (2001).
Modeling inheritance as coercion in a symbolic computation system
In: Proceedings of the 2001 international symposium on Symbolic and algebraic computation, pp. 109–115, ACM Press,.

Davenport, JH (2000).
A small OpenMath type system
SIGSAM Bull., 34(2):16–21.

Adams, AA, Gottliebsen, H, Linton, SA, and Martin, U (1999).
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study
In: Proceedings of the 1999 international symposium on Symbolic and algebraic computation, pp. 253–260, ACM Press,.

Doye, NJ (1999).
Automated coercion for Axiom
In: , pp. 229–235.

Doye, NJ (1999).
Automated coercion for axiom
In: Proceedings of the 1999 international symposium on Symbolic and algebraic computation, pp. 229–235, ACM Press,.

Lewis, RH and Wester, M (1999).
Comparison of polynomial-oriented computer algebra systems
SIGSAM Bull., 33(4):5–13.

specified, Na (ed.) (1999).
ISSAC 99: July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada: proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
pub-ACM.

Dunstan, M, Kelsey, T, Linton, S, and Martin, U (1998).
Lightweight formal methods for computer algebra systems
In: Proceedings of the 1998 international symposium on Symbolic and algebraic computation, pp. 80–87, ACM Press,.

Anonymous (1995).
GAMM 94 Annual Meeting
j-ZEIT-ANGE-MATH-PHYS <\#j-ZEIT-ANGE-MATH-PHYS>, 75(suppl. 2).

Boulanger, J (1995).
Object oriented method for Axiom
j-SIGPLAN <\#j-SIGPLAN>, 30(2):33–41.

Broadbery, PA, Gómez-Dáiaz, T, and Watt, SM (1995).
On the Implementation of Dynamic Evaluation
In: , pp. 77–84, Numerical Algorithms Group Ltd.

Roesner, KG (1995).
Verified solutions for parameters of an exact solution for non-Newtonian liquids using computer algebra
j-ZEIT-ANGE-MATH-PHYS <\#j-ZEIT-ANGE-MATH-PHYS>, 75(suppl. 2):S435–S438.

specified, Na (ed.) (1995).
ISSAC '95: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation: July 10 - 12, 1995, Montreal, Canada
pub-ACM. ISSAC -PROCEEDINGS- 1995.

Beneke, T and Schwippert, W (1994).
Double-track into the future: MathCAD will gain new users with Standard and Plus versions
j-ELECTRONIK <\#j-ELECTRONIK>, 43(15):107–110.

Brown, R and Tonks, A (1994).
Calculations with simplicial and cubical groups in AXIOM
j-J-SYMBOLIC-COMP <\#j-J-SYMBOLIC-COMP>, 17(2):159–179.

Dewar, MC (1994).
Manipulating Fortran Code in AXIOM and the AXIOM-NAG Link
In: Proceedings of the Workshop on Symbolic and Numeric Computing, ed. by Apiola, H. and Laine, M. and Valkeila, E., pp. 1-12, University of Helsinki, Finland.

Gruntz, D and Monagan, M (1994).
Introduction to Gauss
j-SIGSAM <\#j-SIGSAM>, 28(2):3–19.

Hoeij, Mv (1994).
An algorithm for computing an integral basis in an algebraic function field
j-J-SYMBOLIC-COMP <\#j-J-SYMBOLIC-COMP>, 18(4):353–363.