output
20132026
most citedThe Open Energy Modelling Framework (oemof) - A new approach to facilitate open science in energy system modelling

273 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2017 · math.LOShow all

2 papers · 2 filters

math.LO2017

Canonical Truth

Merlin Carl, Philipp Schlicht

We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model of ZFC that is uniquely character…

math.LO2017★ 2 cited

Space-Bounded OTMs and REG

Merlin Carl

An important theorem in classical complexity theory is that LOGLOGSPACE=REG, i.e. that languages decidable with double-logarithmic space bound are regular. We consider a transfinit…