Ideas tagged with formal methods

Develop a human-readable formal language for complex scientific models

Much modern research is based on complex models for complex systems. Examples are biological macromolecules, climate models, or systems biology. These models are too complex for publishing in journal articles. They currently exist only in the heads of a few experts and embedded in simulation sof...

By Konrad Hinsen