Felix Mance

According to our database, Felix Mance authored at least 3 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

ETH Zurich at TREC Clinical Decision Support 2016.

Simon Greuter, Philip Junker, Lorenz Kuhn, Felix Mance, Virgile Mermet, Angela Rellstab, Carsten Eickhoff

Proceedings of The Twenty-Fifth Text REtrieval Conference, 2016

2013

A Universal Machine for Biform Theory Graphs.

Michael Kohlhase, Felix Mance, Florian Rabe

Proceedings of the Intelligent Computer Mathematics, 2013

The Scala-REPL + MMT as a lightweight mathematical user interface.

Mihnea Iancu, Felix Mance, Florian Rabe

Proceedings of the Joint Proceedings of the MathUI, 2013