Pages that link to "Item:Q2843012"
From MaRDI portal
The following pages link to Formal Mathematics on Display: A Wiki for Flyspeck (Q2843012):
Displaying 7 items.
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- Learning to Parse on Aligned Corpora (Rough Diamond) (Q2945635) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description (Q5495943) (← links)
- Remote verification system for Mizar integrated with emwiki (Q6648182) (← links)