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 2020Show all

4 papers · 1 filter

math.LO2020

Decision times of infinite computations

Merlin Carl, Philipp Schlicht, Philip Welch

The decision time of an infinite time algorithm is the supremum of its halting times over all real inputs. The decision time of a set of reals is the least decision time of an algo…

math.LO2020

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines

Merlin Carl

We consider recognizability for Infinite Time Blum-Shub-Smale machines, a model of infinitary computability introduced in Koepke and Seyfferth [KS]. In particular, we show that the…

math.LO2020★ 5 cited

Number Theory and Axiomatic Geometry in the Diproche System

Merlin Carl

Diproche ("Didactical Proof Checking") is an automatic system for supporting the acquistion of elementary proving skills in the initial phase of university education in mathematics…

hep-ph2020★ 17 cited

Improved MSSM Higgs mass calculation using the 3-loop FlexibleEFTHiggs approach including -resummation

Thomas Kwasnitza, Dominik Stöckinger, Alexander Voigt

We present an improved calculation of the light CP-even Higgs boson pole mass in the MSSM based on the FlexibleEFTHiggs hybrid method. The calculation resums large logarithms to al…