Typeset solutions to textbook exercises
-
Updated
Jun 9, 2024 - TeX
Typeset solutions to textbook exercises
High performance set theory - functional utilities which operate on arbitrary input sets.
Chart.js Venn and Euler Diagrams
Collections for JavaScript with dynamic operators to concat, merge, substract, intersect etc. and observe the dynamically calculated result
Appunti di Matematica Discreta, corso Fondamenti Matematici per l'Informatica.
a TypeScript library for working with sets, with a ponyfill for TC39's Set Methods proposal
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
gia: Genomic Interval Arithmetic
🌌 Supplementary materials for Discrete Math course at ITMO University
Housing useful resusable equations and formulas in calculus, discrete mathematics, and linear algebra.
an attempt at unpacking in layman's terms what mathematics is.
A formal consistency proof of Quine's set theory New Foundations
rust type-system set theory
A Python library designed to be exceptionally user friendly and fast. Recommended usages for this library are for new to intermediate level math/comsci majors being introduced to set theory for the first time. Features include: Simple set object, set union calculation, set intersection calculation, power set calculation, cartesian product, and more
A couple of scripts related to mathematics.
Some notes on the basics of Mathematical logic, set theory, and arithmetic (in French).
Stoikheion Calculator is a project that will combine the Stoikheion ebook with David pitch class set calculator
A collection of class notes and proofs for a Discrete Mathematics university course (in Portuguese). https://abtsousa.github.io/mdma/
📈 🎲 Linq based data statistics set of extensions.
Add a description, image, and links to the set-theory topic page so that developers can more easily learn about it.
To associate your repository with the set-theory topic, visit your repo's landing page and select "manage topics."