- Wolfgang Bibel:
- Daniel Lazard:
Ideal Bases and Primary Decomposition: Case of Two Variables.
- E. V. Krishnamurthy:
Symbolic Iterative Algorithm for Generalised Inversion of Rational Polynomial Matrices.
- Guy W. Cherry:
Integration in Finite Terms with Special Functions: the Error Function.
- Michael Karr:
Theory of Summation in Finite Terms.
- Nicola Rizzi, Amabile Tatone:
Using Symbolic Computation in Buckling Analysis.
- Thierry Coquand, Gérard P. Huet:
A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction.
Copyright © Mon Nov 2 21:46:36 2009
by Michael Ley (firstname.lastname@example.org)