A program that calculates anagrams made in Go using the resources of concurrency.
-
Updated
Jan 12, 2021 - Go
#
combinatorial-analysis
Here are 4 public repositories matching this topic...
A comprehensive Coq formalization of the Collatz conjecture with a combinatorial analysis framework. Proves linear division advantage.
coq theorem-proving formal-verification number-theory collatz-conjecture proof-engineering combinatorial-analysis hailstone-numbers kakutani-s-problem thwaites-conjecture syracuse-problem mathematical-proof mathematical-formalization
-
Updated
Mar 5, 2026 - Rocq Prover
Esse projeto tem como intuito exemplificar como gerar todas as combinações entre elementos de duas ou mais listas, com o diferencial de poder definir separadamente a quantidade de elementos a ser selecionado de cada lista. Essa solução foi desenvolvida em Java mas é possível transcrevê-la para outras linguagens usando as referências.
-
Updated
Jul 1, 2022 - Java
Calculate and generate all possible NxN RGB images
-
Updated
Feb 23, 2021 - Python
Improve this page
Add a description, image, and links to the combinatorial-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the combinatorial-analysis topic, visit your repo's landing page and select "manage topics."