Three integrated platforms for structural analysis of complex networks, powered by formally verified mathematics (Lean 4). Topostability: the
compute engine measuring structural fragility in any network.
GraphCoherence: structural analysis of disease signalling networks for treatment target selection. Euleris: topological molecular profiling (cycle spectrum, ADME, toxicity risk). All accessible via Python packages (pip install euleris, pip install graphcoherence), KNIME nodes, and REST
API. Applied across oncology (11 cancers, 80+ drugs mapped), neuroscience (BCI, DBS circuits), environmental science (water pollution
remediation), and materials science.
Auteur/autrice : David
-
Cognitive Engineering
