gipplab Goto Github PK

docker-latexml-java

LaTeXML docker conatiner with integrated java (CC) support

docker-pgadmin

docker-receval

Recommender System Evaluations

docker-texlive

latex container for docker builds

docker-texlive-upstream

docker-textidote

dockerautomscbackend

backend python service for msc prediction

dockerautomsceval

Interactive visualisations for msc prediction

doctex2tei

ecoachsql

SQL checker for ecoach

editquality

Supervised learning approach to determining the quality of edits in Wikipedia

electronic-laboratory-notebook

formula-cloud

formula-cloud-indexer

formula-cloud-server

This is the backbone server implementation for the formulacloud service.

formula-cloud-visualizer

formula-concept-retrieval

Methods for Formula Concept Discovery (FCD) and Formula Concept Recognition (FCR)

formulaclouddata

Discovering Mathematical Objects of Interest - A Study of Mathematical Notations

giveme5w1h

Extraction of the journalistic five W and one H questions (5W1H) from news articles

grespa

A tool to obtain and analyze data from Google Scholar

hyplag-grobid

image-stego

Steganography-based image integrity - Merkle tree nodes embedded into image chunks so that each chunk's integrity can be verified on its own.

imageplag

ImagePlag is an adaptive, scalable, and extensible image-based plagiarism detection system suitable for analyzing a wide range of image similarities.

intrinsicpd

lacast

LaCASt - A LaTeX Translator for Computer Algebra Systems

latexpapertemplate

This repository serves as a template for LaTeX papers.

math2vec

Set of tools we used to create, cultivate and process datasets for our math2vec project.

mathmlben

A quality benchmark for MathML

mathmlconverters

Collection of service calls to convert from various input formats to MathML

mathmlsim

Similarity calculation module for MathML formulae