Search existing ideas
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...
·