V-measure
V-measure, introduced by Rosenberg and Hirschberg in 2007, is an external clustering evaluation metric based on the harmonic mean of homogeneity and completeness. It measures whether clusters contain only points from a single true class (homogeneity) and whether all points from a true class are assigned to the same cluster (completeness). Values range from 0 to 1.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.