Author:
Sexton Alan P.,Sorge Volker,Watt Stephen M.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hybrid Intervals and Symbolic Block Matrices;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
2. Teaching Linear Algebra in a Mechanized Mathematical Environment;Lecture Notes in Computer Science;2023
3. Isolated structural error analysis of printed mathematical expressions;Pattern Analysis and Applications;2017-11-14
4. Abstracting symbolic matrices;Annals of Mathematics and Artificial Intelligence;2012-04
5. Symbolic Domain Decomposition;Lecture Notes in Computer Science;2010