Steffen Frerix

According to our database, Steffen Frerix authored at least 2 papers between 2018 and 2019.

Collaborative distances:

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

2019

ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing.

Steffen Frerix, Saeideh Shirinzadeh, Saman Fröhlich, Rolf Drechsler

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2019

2018

Automatic Proof-Checking of Ordinary Mathematical Texts.

Steffen Frerix, Peter Koepke

Proceedings of the Joint Proceedings of the CME-EI, 2018