Found 3 Documents (Results 1–3)
An example of formalizing recent mathematical results in MIZAR. (English) Zbl 1107.68100
MSC:
68T15
Filter Results by …
Author
- Alcântara, João (1)
- Moniz Pereira, Luís (1)
- Naumowicz, Adam (1)
- Scott, Dana Stewart (1)
- Viegas Damásio, Carlos (1)
Volume
- 12, No. 3 (2014) (1)
- 4, No. 4 (2006) (1)
- 3, No. 1 (2005) (1)
Software
- Mizar (1)