Author:
Kamareddine Fairouz,Maarek Manuel,Wells J. B.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Asperti, A., Padovani, L., Sacerdoti Coen, C., Guidi, F., Schena, I.: Mathematical Knowledge Management in HELM. AMAI 38(1-3), 27–46 (2003)
2. Audebaud, P., Rideau, L.: TEXMACS as authoring tool for publication and dissemination of formal developments. UITP (2003)
3. Barendregt, H.: Towards an interactive mathematical proof mode. In: Kamareddine (ed.) Thirty Five Years of Automating Mathematics. Applied Logic, vol. 28 (2003)
4. de Bruijn, N.G.: The Mathematical Vernacular, a language for mathematics with typed sets. In: Workshop on Programming Logic (1987)
5. Lecture Notes in Computer Science;Y. Coscoy,1997
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献