The following pages link to (Q3075247):
Displaying 8 items.
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)
- Conway numbers -- formal introduction (Q6557120) (← 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)
- Integral of continuous functions of two variables (Q6557127) (← links)
- Solving hard Mizar problems with instantiation and strategy invention (Q6648179) (← links)
- Remote verification system for Mizar integrated with emwiki (Q6648182) (← links)