Algheme is a computer Algebra system written in the Scheme language.
This project is actually aimed to symbolic computation using Groebner
Bases and related topics; nevertheless, it can eventually evolve in a
computational system for Mathematics in g
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.
BigBoy is a three dimensional Finite-Difference Time-Domain (FDTD) simulator for photonics (plasmonics, photonic crystals or high index-contrast structures). Please, refer the successor of this project, GMES (http://sf.net/projects/gmes).