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
Meeting at Danbury
Meeting at St. Andrews
Mathematics for Networks Workshop
Midlands Graduate School
Netca Conference In Oxford
Conferences
TPHOLs 2005
ISSAC
ISSAC 2000
ISSAC 2001
ISSAC 2002
ISSAC 2003
ISSAC 2004
ISSAC 2005
Future conferences
Links
Contacts
NETCA: UK Network in Computer Algebra
Contacts
University of Bath
Department of Computer Science
Dr Russell J Bradford
Professor James Davenport
Professor John fitch
Dr Daniel Richardson
Professor Nicolai Vorobjov
University of Kent
Department of Computer Science
Institute of Mathematics, Statistics and Actuarial Science Home Page
Professor Simon Thompson
Dr Elizabeth Mansfield
Professor John Shakell
University of Queen Mary
Department of Computer Science
School of Mathematical Sciences
Department of Engineering
Professor Ursula Martin
Professor Malcolm MacCallum
Dr Henry Huijberts
Dr Hanne Gottliebsen
Professor Charles R. Leedham-Green
Dr Paulo Oliva
Dr Francis Wright
Dr Graham White
Dr Leonard H. Soicher
Dr Paul Curzon
Dr Soren Riis
University of St. Andrews
Department of Computer Science
Dr Steve Linton
Dr Roy Dyckhoff
Dr Tom Kelsey
Other Institutions
University of Cambridge, Computer Science Laboratory
Dr Timothy Griffin
University of York, Mathematics department
Dr Richard Clegg
Imperial College London, Dept. of Computing
Cristiano Calcagno
University of Augsburg
Professor Dr. B. Fleischmann
North Carolina State University, Mathematics Department
Dr Agnes Szanto
Systems
Aldor
Fermat
GAP
Magma
Maple
Maple-PVS
Maxima
Mathematica
Mupad
OpenAxiom
Reduce
Organisations
Calculemus
.
CIRCA
.
Computer Algebra Information Network, CAIN-UK
.
Computer Algebra Systems at SAL
.
LTSN Maths, Stats & OR Network
MathML Central
MEDICIS
.
ORCCA
SymbolicNet
.
The OpenMath Society
.
SIGSAM
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
Meysam Ahmadi
Corrado Biasi
Alexei Pavlov
Clare M. So
Sofiene Tahar
Hongseok Yang