Explore projects

M

mws / manual

The MathWebSearch Manual

0

Updated Nov 30, 2014

0 0 0 0

Updated Nov 30, 2014
S

mws / schema-search

Blue note for finding formula schemata.

0

Updated Feb 04, 2015

0 0 0 0

Updated Feb 04, 2015
S

Constantin Jucovschi / SAllyDeepaMehtaRND

0

Updated May 05, 2015

0 0 0 0

Updated May 05, 2015
L

Radu Hambasan / lwa2015_schema

0

Updated Nov 09, 2015

0 0 0 0

Updated Nov 09, 2015
M

SMGloM / manuals

The Manuals and Documentation of the SMGloM project

0

Updated Feb 13, 2016

0 0 0 1

Updated Feb 13, 2016
R

FrameIT / relwork

Related Work for FrameIT

0

Updated Feb 24, 2016

0 0 0 0

Updated Feb 24, 2016
D

ODK / D4.2

Deliverable 4.2

0

Updated Jun 13, 2016

0 0 0 0

Updated Jun 13, 2016
P

iMMT / papers

0

Updated May 21, 2017

0 0 0 0

Updated May 21, 2017
B

SMGloM / blue

The Blue Notes of the SMGloM project

0

Updated Mar 07, 2018

0 0 0 0

Updated Mar 07, 2018
P

KAT / papers

KAT papers

0

Updated Apr 15, 2018

0 0 0 0

Updated Apr 15, 2018
P

OMDoc / papers

0

Updated Apr 15, 2018

0 0 0 0

Updated Apr 15, 2018
T

MathHub / TGStyler-paper

0

Updated Jul 05, 2018

0 0 0 0

Updated Jul 05, 2018
S

Ulrich Rabenstein / Semanticextraction

0

Updated Oct 04, 2018

0 0 0 7

Updated Oct 04, 2018
P

OAF / PVS

0

Updated Feb 06, 2019

0 0 0 0

Updated Feb 06, 2019
A

OAF / alignment-finder

0

Updated Mar 07, 2019

0 0 0 0

Updated Mar 07, 2019
M

tetrapod / ModularKnowledge2018

1

Updated Jul 15, 2019

1 0 0 1

Updated Jul 15, 2019
D

MathHub / data-proposal

a new EU EOSC proposal

2

Updated Oct 03, 2019

2 0 0 1

Updated Oct 03, 2019
C

FrameIT / CICM16-WiP

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

0

Updated Feb 24, 2020

0 0 0 0

Updated Feb 24, 2020
B

Katja Bercic / bilateral-DE-SI

1

Updated May 18, 2020

1 0 0 0

Updated May 18, 2020
F

Dennis Müller / FiFoM

0

Updated May 24, 2020

0 0 0 0

Updated May 24, 2020