We provide a model of glycolysis and TCA cycle in cancers in which IDH is encountered both in its wild type form as well as mutated and capable of catalyzing an onco-metabolite. The model is constructed using the Probabilistic Symbolic Model Checker (PRISM,https://www.prismmodelchecker.org/) specifi...
