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... continue reading

Make computer-aided research more verifiable

A central problem with modern computer-aided research is that research based on long computations becomes difficult to verify. It is thus unclear how and why such should be trusted. The most widely discussed aspect of this problem is the... continue reading


This is the Journal of Brief Ideas - citable ideas in fewer than 200 words.

Before you can create a new idea, you'll need to log in using the link above. You also can't vote on existing ideas without signing in too.


Click on the icon to vote on an idea. You can't vote on your own ideas.