A deductive database of the groups of order dividing 128
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Towards a deductive database for small simple groups
ACM SIGSAM Bulletin
Programming with algebraic structures: design of the MAGMA language
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Advanced notations in mathematica
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Deductive mathematical databases: a case study
SSDBM'1990 Proceedings of the 5th international conference on Statistical and Scientific Database Management
Hi-index | 0.00 |