Abstract matrices in symbolic computation
Author:
Sexton Alan,Sorge Volker
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Teaching Linear Algebra in a Mechanized Mathematical Environment;Lecture Notes in Computer Science;2023
2. Isolated structural error analysis of printed mathematical expressions;Pattern Analysis and Applications;2017-11-14
3. Abstracting symbolic matrices;Annals of Mathematics and Artificial Intelligence;2012-04
4. Tentative Experiments with Ellipsis in Mizar;Lecture Notes in Computer Science;2012
5. Recognition and retrieval of mathematical expressions;International Journal on Document Analysis and Recognition (IJDAR);2011-10-26