Felix Mance

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Clinical Decision Support

Top Venues

MKM/Calculemus/DML

Publications

Simon Greuter, Philip Junker, Lorenz Kuhn, Felix Mance, Virgile Mermet, Angela Rellstab, Carsten Eickhoff
ETH Zurich at TREC Clinical Decision Support 2016. TREC (2016)
Michael Kohlhase, Felix Mance, Florian Rabe
A Universal Machine for Biform Theory Graphs. CoRR (2013)
Michael Kohlhase, Felix Mance, Florian Rabe
A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML (2013)
Mihnea Iancu, Felix Mance, Florian Rabe
The Scala-REPL + MMT as a lightweight mathematical user interface. CICM Workshops (2013)