A Compendium of Continuous Lattices in MIZAR
Journal of Automated Reasoning
On the Integrity of a Repository of Formalized Mathematics
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Alternative Aggregates in Mizar
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Packaging Mathematical Structures
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Journal of Symbolic Computation
Point-free, set-free concrete linear algebra
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Gröbner bases: theory refinement in the mizar system
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Hi-index | 0.00 |