ISACA 2000 International Symposium on Applications of Computer Algebra