Parallel Computation of Finite Element Navier-Stokes codes using MUMPS Solver
Parallel Evaluation of Mathematica Programs in Remote Computers Available in Network
PetRBF--A parallel O(N) algorithm for radial basis function interpolation
Point-and-write --- Documenting Formal Mathematics by Reference
ProofPeer - A Cloud-based Interactive Theorem Proving System
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis