Indrani A. Vasudeva Murthy 

ResearchComputer AlgebraThis project is a continuation of my work at the BIOMATH Department of Ghent University. I have been working on introducing a few Computer Algebra features into AToM^{3}. With these features, we can manipulate algebraic expressions and equations. The ultimate aim is to be able to handle sets of DAEs, simplify them and sort them if possible. A brief discussion of the issues involved can be found in my report: Some issues concerning Computer Algebra in AToM^{3} [PDF]. In any Computer Algebra system, every algebraic entity, including expressions and equations, is internally stored in a unique, `canonical' form. We need a canonical representation to work within AToM^{3} as well. We have come up with such a canonical representation, and it has been implemented in a first version by Bhama Sridharan. The details of our definition, and a description of the implementation, can be found in this report: An algorithm to implement a canonical representation of algebraic expressions in AToM^{3} [PDF]. You can download and put your own equations into canonical form. Here is the tarred, gzipped AToM^{3} directory: Atom3_2.2.tgz . This contains a subdirectory `Algebra', which is included as the directory for code generation. Please see the ReadMe file in `Algebra' for a description of its contents. You can load the example equation models in the subdirectory `Algebra/Models'. After loading a model, if you click on the `make_canonical' button, you will see the canonical form of the equation generated as text output. Note: It may be possible to use graph grammar rules to implement some of the simplifications we have mentioned in the reports. However, in a future version, the graphical modelling of the equations may be done away with altogether. Hence currently the graphical icons are very basic ! Here are some links to some other Computer Algebra related documents, which I found interesting.
Here are some useful links:
Discretization of PDEsPhysics 