CAS/PI: a portable and extensible interface for computer algebra systems
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
User interfaces for symbolic computation: a case study
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
A Skeptic’s Approach to Combining HOL and Maple
Journal of Automated Reasoning
| Hi-index | 0.00 |