IntSeq - Integer Sequence & Transformation library for Scheme
-
Updated
Jun 20, 2018 - Scheme
IntSeq - Integer Sequence & Transformation library for Scheme
Two programs that illustrate the creation of OEIS array A089840, which lists signature permutations of non-recursive Catalan automorphisms, that is, bijections of finite plane binary trees, with no unlimited recursion down to indefinite distances from the root.
non crossing perfect matching utilized for randomly-generated tesselations
Here are some dynamic programming problem solutions.
This repository contains a Python script that calculates the digits of π (pi) using a novel algorithm based on Catalan numbers and fixed-point arithmetic. The algorithm efficiently computes the digits of π by leveraging the properties of Catalan numbers, making it a unique and effective method for high-precision calculations.
Diploma Thesis on Graph Drawing Algorithms with Python
A lightweight self-hosted Rust API for system snapshots and numerical computation.
Python script for drawing "Wolframesque" images (like in Wolfram's magnus opus New Kind of Science) of various iterated systems based on Catalan bijections applied repeatedly to a Dyck path (or equivalently, a rooted binary tree) whose size is increased at each iteration.
Pretoria. LawsExchange. https://www.lawexchange.org/
CIDER: Scheme-routines that take as their input parenthesizations (S-expressions) and output their various Catalan manifestations as Encapsulated Postscript
Dyck paths visualizer built with DOM methods
Solving polynomials with polygons: an interactive companion to the hyper-Catalan series papers
Hamilton Cycles in the Noncrossing Partition Refinement Graph — companion code, data, and interactive proof explorer
Competitive Programing Math
A trial Clojure project for a blog post about the Catalan numbers.
Mathlib PR kit: plane trees counted by Catalan numbers
Sorry-free Lean 4 proof that there are C(d·m, d−1)/d degree-d critical portraits, for all d.
To associate your repository with the catalan-numbers topic, visit your repo's landing page and select "manage topics."