Topology from Neighbourhoods
Work
Year: 2015
Type: article
Abstract: Summary Using Mizar [9], and the formal topological space structure ( FMT_Space_Str ) [19], we introduce the three U-FMT conditions ( U-FMT filter, U-FMT with point and U-FMT local ) similar to those ... more
Source: Formalized Mathematics
Author Roland Coghetto
Cites: 15
Cited by: 2
Related to: 10
FWCI:
Citation percentile (by year/subfield): 50.4
Topic: Fuzzy and Soft Set Theory
Field: Decision Sciences
Domain: Social Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: gold