- Tytuł:
- Automated Comparative Study of Some Generalized Rough Approximations
- Autorzy:
- Grabowski, Adam
- Data publikacji:
- 2021
- Słowa kluczowe:
-
formalization of mathematics
Mizar Mathematical Library
rough approximation - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł