By: Uwe Waldmann

Automated Deduction

Human mathematicians prove a theorem by combining individual computation steps. This is a rather trivial task for a computer program once the…

By: Felipe Albrecht and Fabian Müller

EpiExplorer and RnBeads: Integrative Analysis of Epigenomic Data

The packing of the DNA in a cell's nucleus determines if and to what degree genes encoded in the DNA can be translated and regulated. Software tools…