The following pages link to Mathematical Knowledge Management (Q5898511):
Displaying 16 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Formalization of quasilattices (Q2113839) (← links)
- On weakly associative lattices and near lattices (Q2119547) (← links)
- Splitting fields (Q2119554) (← links)
- (Q3398160) (← links)
- (Q3421352) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- (Q4474349) (← links)
- Multidimensional measure space and integration (Q6557119) (← links)
- Elementary number theory problems. XII: Primes in arithmetic progression (Q6557124) (← links)
- Simple extensions (Q6557125) (← links)
- Symmetrical piecewise linear functions composed by absolute value function (Q6557126) (← links)