Kevin Kofler

From MaRDI portal
Person:2359761



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Interval unions
BIT
2017-06-22Paper
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Algebraic Modeling Systems
2012-09-28Paper
DynGenPar -- a dynamic generalized parser for common mathematical language
Lecture Notes in Computer Science
2012-09-07Paper
The SCIP Optimization Suite 9.0
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: Kevin Kofler