Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

Teaching Materials for Dr. Waleed A. Yousef

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

Digital Geometry Tools and Algorithm Library

Computational algebraic number theory

Functional teaching language for use in a discrete mathematics course

Pythonic package for combinatorics

Julia and Python complex system applications in ecology, epidemiology, sociology, economics & finance; network science models including Erdős-Rényi & Barabási-Albert; graph theory algorithms involving Gillespie, Bron Kerbosch, Bellman Ford, A*, Kruskal, Borůvka, Prim, Dijkstra, Topological Sort, DFS, BFS

A computational way to study discrete mathematics using Haskell

My book list

[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization

A collection of curated resources for learning Computer Science subjects and skills, that I garnered throughout my tenure as a CSE student. Contributions, and report of broken links are welcome.

Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees

All the homeworks, studies and projects I've done at Metu-CENG

Практические задания. Университет ИТМО, кафедра КТ

Combinatorial phantom types for discrete mathematics

Lectures for the "Problem Solving" Class at Nanjing University.

Explain discrete mathematics in details

Essential discrete mathematics based algorithms and applications in a high level OOP and optimized manner

A library of fundamental algorithms and data structures written in C

Q-Learing algorithm solves simple mazes.

🔓 Tools to help Discrete Mathematics computations (Diophantine Equations, Systems of Congruencies, RSA Algorithm and Calendars) with step-by-step support.

The dsmodels domain-specific-language for visualizing dynamical systems in R.

ITMO workspace. HWs and Labs.

🧮 The Only Boolean Algebra Reduction App

Programming with GAP

A Fitch's style natural deduction proof editor

🎓 Ciência da Computação - Universidade Federal do Ceará.

Discrete Mathematics ᜑᜒᜏᜎᜌ᜔ ᜈ ᜐᜒᜉ᜔ᜈᜌᜈ᜔ https://maxangelo987.github.io/dm-cpe1a-19-20

This algorithm creates Hasse diagrams for divisibility relations (partial order relations).