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 2013 · math.LOShow all

1 paper · 2 filters

math.LO2013★ 3 cited

Models of true arithmetic are integer parts of nice real closed fields

Merlin Carl

Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that eac…