Explore projects

View 23-CICM-Alea project

Papers / 23-CICM-Alea
Creative Commons Attribution Share Alike 4.0 International

1

Updated Nov 17, 2025

1 0 0 0

Updated Nov 17, 2025
View Documentation project

sTeX / Documentation
Creative Commons Attribution Share Alike 4.0 International

1

Updated Dec 07, 2025

1 0 0 0

Updated Dec 07, 2025
View algebra project

SMGloM / algebra
Creative Commons Attribution Share Alike 4.0 International

The SMGloM modules for elementary algebra.

1

Updated Dec 02, 2025

1 2 0 1

Updated Dec 02, 2025
View course project

courses / FAU / AI / course
Creative Commons Attribution Share Alike 4.0 International

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

1

Updated Dec 14, 2025

1 0 0 46

Updated Dec 14, 2025
View python project

ODK / python
Creative Commons Attribution Share Alike 4.0 International

1

Updated Oct 01, 2025

1 0 1 1

Updated Oct 01, 2025
View 23-AI4AI-Guided-Tours project

Papers / 23-AI4AI-Guided-Tours
Creative Commons Attribution Share Alike 4.0 International

1

Updated Oct 01, 2025

1 0 0 0

Updated Oct 01, 2025
View math project

ODK / math
Creative Commons Attribution Share Alike 4.0 International

The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.

1

Updated Oct 01, 2025

1 0 0 0

Updated Oct 01, 2025
View Sage project

ODK / Sage
Creative Commons Attribution Share Alike 4.0 International

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

1

Updated Oct 01, 2025

1 1 1 1

Updated Oct 01, 2025
View lmfdb project

ODK / lmfdb
Creative Commons Attribution Share Alike 4.0 International

The Theories for the LMFDB data base.

1

Updated Oct 01, 2025

1 0 0 9

Updated Oct 01, 2025
View Mathematicians project

Tutorials / Mathematicians
Creative Commons Attribution Share Alike 4.0 International

OMDoc/MMT Tutorial for Mathematicians

1

Updated Nov 26, 2025

1 0 0 1

Updated Nov 26, 2025
View FindStat project

ODK / FindStat
Creative Commons Attribution Share Alike 4.0 International

The Knowledge behind the FindStat project

1

Updated Oct 01, 2025

1 0 0 1

Updated Oct 01, 2025
View pythagoreantheorem project

Naomi Pentrel / pythagoreantheorem

1

Updated Nov 18, 2015

1 0 0 0

Updated Nov 18, 2015
View problems project

courses / FAU / LBS / problems
Creative Commons Attribution Share Alike 4.0 International

The problems for the lecture Logic Based Language Processing at FAU

0

Updated Nov 30, 2025

0 1 0 0

Updated Nov 30, 2025
View sets project

Tianlin / sets
Creative Commons Attribution Share Alike 4.0 International

Elementary set theory for the SMGloM

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View hwexam project

courses / FAU / LBS / hwexam
Creative Commons Attribution Share Alike 4.0 International

The homework assignments and exams for the LBS course at FAU (public)

0

Updated Oct 01, 2025

0 1 0 0

Updated Oct 01, 2025
View SMGloM project

Tianlin / SMGloM
Creative Commons Attribution Share Alike 4.0 International

A Semantic Multilingual Glossary for Mathematics.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View meta-inf project

courses / highschool / meta-inf
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View SiSsI project

KwarcMH / SiSsI
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View KWARC project

Ion Toloaca / KWARC
Creative Commons Attribution Share Alike 4.0 International

Basics about KWARC, Jacobs, etc. and other missing stuff.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View 22-CICM-sTeX-System-Description project

Papers / 22-CICM-sTeX-System-Description
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025