HomeIsabelle/Phabricator
Diffusion afp-devel c4a38a2daedf

Added Approximation_Algorithm for Center_Selection
c4a38a2daedf
Actions

Description

Added Approximation_Algorithm for Center_Selection

Details

Provenance
nipkowAuthored on
Parents
rAFP5695f90acdbf: proved conditional completeness of compilation
Branches
Unknown
Tags
Unknown

Changes (14)

PathSize
metadata/
document/
web/
entries/

rAFPc4a38a2daedf

View Options

metadata/metadata

Loading...
View Options

thys/Approximation_Algorithms/Center_Selection.thy

Loading...
View Options

thys/Approximation_Algorithms/ROOT

Loading...
View Options

thys/Approximation_Algorithms/document/root.tex

Loading...
View Options

web/entries/Aggregation_Algebras.html

Loading...
View Options

web/entries/Approximation_Algorithms.html

Loading...
View Options

web/entries/Epistemic_Logic.html

Loading...
View Options

web/entries/Interpreter_Optimizations.html

Loading...
View Options

web/entries/Relational_Disjoint_Set_Forests.html

Loading...
View Options

web/entries/Stone_Relation_Algebras.html

Loading...
View Options

web/index.html

Loading...
View Options

web/statistics.html

Loading...