Explore projects
-
courses / UL / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SvenWille / MoreClassicalLogic
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains additional classical logic definitions and facts, building on top of the natural deduction theory in mitm
Updated -
Teaching / LBS2122
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / CRIS / Cooperation projects / institutionelles-repositorium
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalDie UB Erlangen führt DSPACE als Repositorium ein. Ein Austausch von Metadaten und ggfs. auch Volltexten zwischen CRIS und dem System ist notwendig. Die Software von CRIS (converis) besitzt bereits eine Schnittstelle zu DSPACE.
Updated -
meta / inf
Creative Commons Attribution Share Alike 4.0 InternationalGeneral Metadata that apply to all MathHub content.
Updated -
courses / FAU / SMAI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / calculus
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for calculus
Updated -
sTeX / Algebra / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / frameit
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / io-list
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathBase / Relations
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
tps / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalMeta-information for the TPS library
Updated -
courses / UPS / Info111 / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
IMPS / theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
-
FrameIT / Meta Inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / physics-units
Creative Commons Attribution Share Alike 4.0 InternationalUnits and Measurements
Updated -