ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
MKM from Book to Computer: A Case Study
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Not seeing the roots for the branches: multivalued functions in computer algebra
ACM SIGSAM Bulletin
What Might "Understand a Function" Mean?
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Simplifying products of fractional powers of powers
ACM Communications in Computer Algebra
Hi-index | 0.00 |