
A Critique of the Mathematical Abilities of CA Systems by Michael Wester


The capabilities of 7 major general purpose CASs are reviewed on 542 short problems


Hidden verification for computational mathematics by Hanne Gottliebsen, Tom Kelsey and Ursula Martin


The power of computational logic of computer algebra systems shielding the users from its complexity


The Power Behind Maths by Samir Khan


From the long list of new capabilities in Maple 8, users have already picked some of their favourites


Review of Maple 7 by David I. Graham


Review of Maple 7


Review of Maple 6 by Nigel Backhouse


Review of Maple 6


Review of Maple V Release 5 by Nigel Backhouse


Review of Maple 6 Release 5


On Computing Limits in a Symbolic Manipulation System by Dominik Gruntz


An algorithm for computing (onesided) limits within a symbolic manipulation system


Almost All Software Testing Is Futile! by Mike Holcombe and Florentin Ipate


A new method for generating test cases can provide a more convincing approach to the problem of detecting ALL faults


Differential Equations with Maple by Martin Ward


Solving ODEs using Maple


Multisectioning, Rational PolyExponential Functions and Parallel Computation. by Kevin Hare


Techniques of deriving new recursion formulae; some Maple bugs


The Maple Dictionary with Examples by John V. Matthews, III


Maple V vocabulary


Metaheuristics for Circuit Partitioning in Parallel Test Generation by C. Gil, J. Ortega, A.F. Diaz, M.G. Montoyan


Simulated Annealing and Genetic Algorithms are applied to the graph partitioning problem


Birth of a Thinking Machine by Michael A. Hiltzik


CYC by Douglas Lenat  the most sophisticated artificial intelligence system


The Integrator by
Wolfram Research, Inc.


The power to do integrals as the world has never seen before


Reverse Engineering Calculator


Identification of real numbers


World of Mathematics by Eric Weisstein


Encyclopedia of mathematics


CECM  Centre for Experimental and Constructive Mathematics


Explore & promote the interplay of conventional mathematics with modern computation & communication in the math sciences


Automatic Calculus and Polynomials


Enter your function to get your calculus derivative
or integral with each step explained, automatically and fast.


Isolating CauseEffect Chains from Computer Programs by Andreas Zeller


Prototype implementation successfully isolated
the causeeffect chain for a failure of the GNU C compiler 

TestEra: A Novel Framework for Automated Testing of Java Programs


TestEra’s analyses of several case studies


Using TestEra to Check the Intentional Naming System of Oxygen


The flaws TestEra identified in the Intentional Naming System


Another look at computability by Florentin Ipate and Mike Holcombe


An elegant general approach to the question of classifying computational models


Zerotesting, witness conjectures and differential diophantine approximatio by Joris van der Hoeven


Witness conjectures, which propose reasonable lower bounds for non zero constants


The function wizard project: Computer Algebra Handbook of Special Functions by E.S. ChebTerrab


The power of computational logic of computer algebra
systems shielding the users from its complexity


ANTabu  enhanced version


An ants system algorithm for the quadratic assignment problem


Korat: Automated Testing Based on Java Predicates


This paper presents Korat, a novel framework for automated testing of Java programs


Ordinary differential equations and Dynamical Systems by Gerald Teschl


An introduction to ordinary differential equations and dynamical systems


Asymptotic Expansions with Oscillating Coefficients by Bruno Salvy and John Shackell


Symbolic asymptotics of trigonometric and other oscillating functions


Hypergeometric Type Functions and Their Applications by Gennady Lyakhovetsky (in Russian)


An algorithm for Meijer G function and other results


Ein Programm zur symbolischen Diskussion reeller elementarer Funktionen by M. Cohrs, E. H. A. Gerbracht, W. Struckmann


Die Diskussion elementarer Funktionen spielt in der Schulmathematik und jeder einfuhrenden Analysisvorlesung


Large Scale Symbolic Programming with GiNaC by Alexander Frink, Christian Bauer, Richard Kreckel


Large scale projects tend to become maintainable via GiNaC's fundamental symbolic facilities in the C++ programming language


On competitive online algorithms for the dynamic priorityordering problem by G. Ramalingam and Thomas Reps


There exists no algorithm for the dynamic priorityordering
problem that has a constant competitive ratio


On The Divergence Of The RogersRamanujan Continued Fraction On The Unit Circle by D. Bowman and J. Mc Laughlin


An intensive study of the convergence of the RogersRamanujan continued fraction.


Maple on the Intel Paragon by Laurent Bernardin


A higher level model of parallel processing based on the managerworker scheme


On Stirling numbers and Euler sums by Victor Adamchik


Yet another generalization of Stirling numbers of the first kind for noninteger values of their arguments


A Class of Series Acceleration Formulae for Catalan's Constant by David M. Bradley


Transformation formulae and expansions for the log tangent integral


Creative Telescoping and Applications by Frederic Chyzak


A method to compute definite sums and integrals


A survey of nonabsolute integration by Erik Talvila


Why we need nonabsolute integrals


Analysis of a Web User Interface for Mathematics: Experiences with Integral Queries for TILU by R. Fateman and T. James


Improvements in the computerhuman interaction


A Certain Series Associated With Catalan’s Constant by Victor Adamchik


A parametric class of series generated by integration of complete elliptic integrals is evaluated in closed form


Simplifying Square Roots of Square Roots by Denesting by David J. Jeffrey and Albert D. Rich


Some of the steps that developers must take when writing computer algebra systems


PRIMES is in P by Manindra Agrawal, Neeraj Kayal and Nitin Saxena


A deterministic polynomialtime algorithm that determines whether an input number n is prime or composite


SymbolicNumeric Algebra for Polynomials  SNAP 96


Problems involving polynomials with inexactlyknown coefficients


Comparison Of Mathematical Programs For Data Analysis by Stefan Steinhaus


Facts about mathematical programming languages


Wavelets by Gilbert Strang


How did Mozart write it all down?


Wavelets For Kids by Brani Vidakovic and Peter Meuller


A Tutorial Introduction


Medical Devices: The Therac25 by Nancy Leveson


A detailed investigation of a massive overdose accident in a computercontrolled radiation therapy Therac25 machine


The Importance of Being Continuous by David J. Jeffrey


Architects! Remmeber, technically, it is always incorrect to quote
a formula without specifying the interval on which it applies...


Curing The Andrews Syndrome by Shalosh B. Ekhad and Doron Zeilberger


The rivalry between the classical and automated approaches to hypergeometric sums is beneficial to both


Some Divergent Trigonometric Integrals by Erik Talvila


How these divergent integrals ended up in a respectable table?


Rapidly Growing Fourier Integrals by Erik Talvila


When the integral is allowed to converge conditionally, the asserted
asymptotic behavior can fail dramatically


Necessary and Sufficient Conditions for Differentiating Under the Integral Sign by Erik Talvila


Necessary and sufficient conditions for differentiating under the integral sign


The Poster The Mathematical Functions of Mathematica by Oleg Marichev and Michael Trott


Five nice Mathematica posters


The Geometer’s Workbench: An Experiment in Interacting with a Large, High Res Display by F.Guimbretiere and T.Winograd


Bridging the gap between casual whiteboard interaction and the more formal use of a tool like Mathematica


Hypergeometric Function Representations by Kelly Roach


An algorithm for computing formula representations of instances of the generalized hypergeometric function


Meijer G Function Representations by Kelly Roach


An algorithm for computing formula representations of instances of the Meijer G function


Some Series Of The Zeta And Related Functions by Victor S. Adamchik and H.M. Srivastava


Yet another approach to the problem of summation of series involving the Riemann Zeta and kindred functions


Derivatives of the Hurwitz Zeta Function for Rational Arguments by Jeff Miller And Victor S. Adamchik


The functional equation for the Hurwitz Zeta function is used to obtain formulas for derivatives at negative odd s


The Evaluation Of Integrals Of Bessel Functions Via GFunction Identities


Transformations for reducing certain cases of Meijer’s G function to a Gfunction of lower order


Searching Techniques For Integral Tables by T. H. Einwohner and Richard J. Fateman


Data structures design and a program for storing a table of symbolic
(in)definite integrals and retrieving userrequested integrals


Improving Exact Integrals From Symbolic Algebra Systems by Richard J. Fateman and W. Kahan


Techniques for improving the form of results of symbolic mathematics systems


Software Test Managers' Roundtable  Los Altos Workshop on Software Testing


A forum for sharing insights about the management of software testing


Writing Effective Use Cases by Alistair Cockburn


A guidelines on writing effective use cases


Software Fault Prevention by Language Choice: Why C is Not My Favorite Language by Richard Fateman


How reliability might be affected by changing the language


Branch Cuts in Computer Algebra by Adam Dingle and Richard Fateman


How one can manipulate, in a useful fashion, functions cannot be defined continuously on the complex plane


Function evaluation on branch cuts by Albert D. Rich and David J. Jeffrey


The Kahan's counter clockwise continuity principle is discussed


Integration of the signum, piecewise and related functions by D.J. Jeffrey, G. Labahn, M. v. Mohrenschildt, and A.D. Rich


Algorithms for evaluating integrals of compositions of continuous functions and signum functions


Well...It isn't Quite That Simple by Robert M. Corless and David J. Jeffrey


If we expect our computer algebra systems to help us do analysis,
these qualifications and provisions are essential


How fast can we compute products? by V. Kislenkov, V. Mitrofanov, and E. Zima


Speed improvements for computation of nary products, for large n,
over arbitrary precision integer or rational number domains


Recursive Integration Of PiecewiseContinuous Functions by D.J. Jeffrey and Albert D. Rich


An algorithm for the integration of a class of piecewisecontinuous functions


A Review of Macsyma by Richard J. Fateman


Successes and failures of the Macsyma algebraic manipulation system from
the point of view of one of the original contributors


