NETCA: UK Network in Computer Algebra

Navigation

Home
Back | Forward

Participating departments

University of Bath: Department of Mathematical Sciences.
University of Kent: MathematicsGroup, Computing Lab.
Queen Mary, University of London: School of Mathematical Sciences, Department of Computer Science Department of Engineering.
University of St Andrews: School of Computer Science.

Industrial Partner

NAG: The Numerical Algorithms Group Ltd.

Netca meetings

Conferences

Links

Contacts


	NETCA: UK Network in Computer Algebra

NetCA support

Meysam Ahmadi

Meysam Ahmadi was involved in a summer internship at the department of Computer Science. His internship lasted three months (01/06/05)-(28/08/05).
During the internship, he was involved in writing the NetCA website and doing research on PVS and using it as a means of proving the Nash Equilibrium.

Systems

Organisations

Publications

CA Bibliography

Journals

Journal of Symbolic Computation
The International Journal of Computer Algebra in Mathematics Education (IJCAME) (formerly the International DERIVE Journal)

Guest Visitors