darijgrinberg/darijgrinberg.gitlab.io

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

Last synced at: almost 2 years ago - Stars: 0 - Forks: 0

dpwiz/geomancy

Last synced at: almost 2 years ago - Stars: 4 - Forks: 2

eiosifidis/UoM-Applied-Informatics

My University Assignments etc

Last synced at: almost 2 years ago - Stars: 0 - Forks: 0

ixaxaar/monoid.space

Learn abstract math with agda 🚀

Last synced at: about 2 years ago - Stars: 0 - Forks: 0

rrleme/heytinget

Find intuitionistic counter-models for classical tautologies.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

DPDmancul/complete-integers-agda

In this work we will define a superset of integers (the complete integers), which contains the dual of integers along parity (e.g. the odd zero, the even one, ...). Then we will see how they form a ring and how they can be used as exponents for real numbers powers, in order to write functions which have a discontinuity in zero (the function itself or one of its derivates), as for example the absolute value and the sign function.

Last synced at: almost 2 years ago - Stars: 0 - Forks: 0

lecture-notes-bonn/original/algebra-1-notes-ss-14

Notes for the lecture course “Algebra I”.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

javlintor/ejercicios-atiyah-macdonald

Selección de ejercicios del libro «Introducción al álgebra conmutativa» de Atiyah y Macdonald.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

Syroot/Maths 📦

.NET library providing reusable math classes.

Last synced at: 4 days ago - Stars: 0 - Forks: 0

leitelf/estimacao-de-matriz-de-covari-ncia

Métodos estimação de matriz de covariância. Trabalho desenvolvido em disciplina de Reconhecimentos de Padrões, em programa de pós-graduação em Engenharia de Teleinformática, Universidade Federal do Ceará, Centro de Tecnologia, Campus do Pici.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

ToxiClaw/lie-algebras

Dies ist meine Version des Skripts zu der Vorlesung "Lie-Algebren" von Prof. Gerhard Hiß im Sommersemester 2019 an der RWTH Aachen University.

Last synced at: over 2 years ago - Stars: 0 - Forks: 2

fernandoporres/funwithmaths

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

ghost-in-the-zsh/rml

RML is a Java-based OpenGL/GLSL-friendly math library with support for angles, vectors, matrices, and quaternions.

Last synced at: over 2 years ago - Stars: 0 - Forks: 1

spech/TexVar

Last synced at: over 2 years ago - Stars: 2 - Forks: 0