Rough Concept Analysis – Theory Development in the Mizar System-Reference-Cited by-同舟云学术

Rough Concept Analysis – Theory Development in the Mizar System

Published:2004 Issue: Volume: Page:130-144
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Grabowski Adam,Schwarzweller Christoph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27818-4_10

Reference23 articles.

1. Bancerek, G.: Development of the theory of continuous lattices in Mizar. In: Kerber, M., Kohlhase, M. (eds.) Proceedings of the Symposium on Calculemus 2000, pp. 65–80 (2001)

2. Bancerek, G.: On the structure of Mizar types. In: Geuvers, H., Kamareddine, F. (eds.) Proc. of MLC 2003. ENTCS, vol. 85(7) (2003)

3. Buchberger, B.: Mathematical Knowledge Management in Theorema. In: Buchberger, B., Caprotti, O. (eds.) Proc. of MKM 2001, Linz, Austria (2001)

4. Cruz-Filipe, L., Geuvers, H., Wiedijk, F.: C-CoRN, the Constructive Coq Repository at Nijmegen, http://www.cs.kun.nl/~freek/notes/

5. Lecture Notes in Computer Science;W. Farmer,1992

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extending Formal Fuzzy Sets with Triangular Norms and Conorms;Advances in Fuzzy Logic and Technology 2017;2017-08-30

2. A Note on a Formal Approach to Rough Operators;Rough Sets and Current Trends in Computing;2010

3. Revisions as an Essential Tool to Maintain Mathematical Repositories;Towards Mechanized Mathematical Assistants;2007

4. Translating Mathematical Vernacular into Knowledge Repositories;Lecture Notes in Computer Science;2006

5. Gröbner Bases — Theory Refinement in the Mizar System;Lecture Notes in Computer Science;2006