Some human interaction issues in computer algebra
ACM SIGSAM Bulletin
Some human interaction issues in computer algebra
ACM SIGCHI Bulletin
Theorems and algorithms: an interface between Isabelle and Maple
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Computer algebra handbook
A revisited perspective on symbolic mathematical computing and artificial intelligence
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Hi-index | 0.00 |