M

mathematics

Source for the website at http://www.mathezirkel-augsburg.de.

Mathe und Statistik beispiele in und mit Java

Learn abstract math with agda 🚀

Mirror of http://www.cip.ifi.lmu.de/~grinberg/ (mathematics website with papers, lecture notes etc.)

Fast dual number implementation for C++. Docs: https://tesch1.gitlab.io/cppduals

A rigorous and well-sourced Java mathematics library that extends the Hipparchus mathematics library that includes linear algebra over R^n and C^n, frameworks for and implementations of hyper-dimensional (N-dimensional) geometry weighted non-linear least-squares optimization, non-linear dynamics ,and a rich framework of multi-variate, vector- and matrix-valued function definitions. Whenever a reference is used in the process of development, that source is included in the JavaDoc and, if possible, a hyperlink is provided.

Cartes Anki des cours de MPI.

(Partial) Implementation of my master's thesis' results in Lean

Implementation of Amenable Groups in Lean

C lang object oriented library for algebra operations

Cheatsheets for some courses at University of Ljubljana, Faculty of Mathematics And Physics, Physics Programme.

Rendering Engine to do quick graphics prototyping.

An extensive (mostly) math library following a logical and coherent structure with great levels of abstraction.

Embedding Implicit Mathematical Concepts in Programming

Math functions used to automate mathematical tasks

A Petri-net simulator: https://mish-mosh.gitlab.io/petri-net-simulator/