The CEq Emergence Assistant

an ab-intra reasoning and modelling environment


 

  • Links

    • Download
    • Documentation
      1. MIG language [v2.7]
      2. "Proofs of life"
        1. video
    • README
    • Project: mailinglist, forum, wiki
    • changelog, commits

  • Nomenclature

    CEqEA [k(e-as-in-met)k-e-a] stands for "The Cascaded-Equilibria Emergence Assistant". It is named with reference to The Coq Proof Assistant and similar.

  • About

    CEqEA is an end-to-end modelling environment, covering programming and specification through visualization, reasoning, simulation, analysis, and sequentialization of and predictions about hierarchical and concurrent cause-and-effect, e.g., gene regulation.

  • People

    CEqEA is conceived and developed by René Vestergaard w/contributions from Emmanuel Pietriga. See also libraries.

 

Copyright 2011--2019 René Vestergaard. Design by Free CSS Templates.