HomeIsabelle/Phabricator
Diffusion afp-devel f83f530c4b47

New entry Combinatorial_Enumeration_Algorithms
f83f530c4b47
Actions

Description

New entry Combinatorial_Enumeration_Algorithms

Details

Provenance
nipkowAuthored on
Parents
rAFP8668822cee79: fix duplicate affiliations from author and notify;
Branches
Unknown
Tags
Unknown

Changes (23)

PathSize

rAFPf83f530c4b47

View Options

metadata/authors.toml

Loading...
View Options

metadata/entries/Combinatorial_Enumeration_Algorithms.toml

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Combinatorial_Enumeration_Algorithms.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Common_Lemmas.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Derangements_Enum.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Filter_Bool_List.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Integer_Compositions.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Integer_Partitions.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Powerset.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/ROOT

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Trees.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/Weak_Integer_Compositions.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/document/root.bib

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/document/root.tex

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/n_Permutations.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/n_Sequences.thy

Loading...
View Options

thys/Combinatorial_Enumeration_Algorithms/n_Subsets.thy

Loading...
View Options

thys/ROOTS

Loading...