Issues · KWARC / thesis-projects · GitLab

Identifying Mathematical Objects up to Canonical Isomorphpism

#24 · opened Jun 03, 2019 by Florian Rabe
- 0
updated Jun 04, 2019
Formalization of legal content

#23 · opened May 02, 2019 by Max Rapp
- 0
updated May 02, 2019
Formalize Haskell Type Classes as a Theory Graph

#22 · opened Mar 21, 2019 by Florian Rabe
- 0
updated Mar 21, 2019
Data Dimension for MathHub.info

#21 · opened Jul 25, 2018 by Michael Kohlhase Applications Frontend
- 0
updated Jul 25, 2018
Representing Relational Databases in a Logical Framework

#20 · opened Jul 06, 2018 by Florian Rabe Applications Foundations OMDoc/MMT
- 1
updated Oct 08, 2019
MMT as a parser framework for Scala APIs

#19 · opened Jul 02, 2018 by Florian Rabe Applications OMDoc/MMT
- 0
updated Jul 02, 2018
Integrate Kwarc tools with GitLab

#18 · opened May 17, 2018 by Florian Rabe Frontend
- 0
updated May 17, 2018
applications of viewfinding

#17 · opened May 15, 2018 by Michael Kohlhase Applications Frontend
- 0
updated May 15, 2018
implementing Realms as an MMT structural feature

#16 · opened Feb 07, 2018 by Michael Kohlhase Foundations Frontend OMDoc/MMT
- 0
updated Feb 07, 2018
polynomial factorization service (with caching)

#15 · opened Apr 20, 2017 by Michael Kohlhase Applications Frontend
- 0
updated Apr 20, 2017
semantics extractions based on machine learning

#14 · opened Apr 13, 2017 by Michael Kohlhase Applications Machine Learning
- 0
updated Apr 13, 2017
Implement Lenses/States for MathHub

#13 · opened Apr 13, 2017 by Michael Kohlhase Applications Frontend
- 0
updated Nov 24, 2018
Theory Graph Minimization

#12 · opened Feb 13, 2017 by Michael Kohlhase Frontend OMDoc/MMT
- 0
updated Jul 31, 2017
Theory Exploration

#11 · opened Feb 11, 2017 by Florian Rabe OMDoc/MMT
- 4
updated Jul 06, 2018
Interactive Examples

#10 · opened Feb 11, 2017 by Florian Rabe OMDoc/MMT
- 0
updated Jul 31, 2017
Active Course notes

#9 · opened Feb 02, 2017 by Michael Kohlhase Applications Frontend OMDoc/MMT
- 1
updated Jul 31, 2017
Theory Graph Visualization and Interaction Front-End

#8 · opened Feb 02, 2017 by Michael Kohlhase Applications Frontend taken
- 1
updated Jul 31, 2017
Finding and Presenting Alignments in Math Libraries

#7 · opened Feb 02, 2017 by Michael Kohlhase Applications Frontend OMDoc/MMT
- 0
updated Jul 31, 2017
Semantics extraction for assistive tools for scientists with disabilities (Bachelor or Master)

#6 · opened Feb 01, 2017 by Michael Kohlhase Applications Frontend
- 0
updated Jul 31, 2017
Metalogical formalization of Dynamic Logics

#5 · opened Nov 17, 2016 by Michael Kohlhase Foundations OMDoc/MMT
- 0
updated Jul 31, 2017