Author:
Sexton Alan P.,Sorge Volker,Watt Stephen M.
Cited by
3 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. A Review of Algorithms for Symbolic Domains;2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2019-09
3. Reasoning with Generic Cases in the Arithmetic of Abstract Matrices;Lecture Notes in Computer Science;2009