Abstract
Tropical geometry ideas were developed by mathematicians that got inspired from very different topics in physics, discrete mathematics, optimization, algebraic geometry. In tropical geometry, tools like the logarithmic transformation coarse grain complex objects, drastically simplifying their analysis. I discuss here how similar concepts can be applied to dynamical systems used in biological modeling. In particular, tropical geometry is a natural framework for model reduction and for the study of metastability and itinerancy phenomena in complex biochemical networks.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
- Tropical geometry
- Chemical reaction networks
- Model reduction
- Singular perturbations
- Metastability
- Itinerancy
1 Introduction
Mathematical modelling of biological systems is a daunting challenge. In order to cope realistically with the biochemistry of cells, tissues and organisms, both in fundamental and applied biological research, systems biology models use hundreds and thousands of variables structured as biochemical networks [1, 16, 38]. Nonlinear, large scale network models are also used in neuroscience to model brain activity [7, 29]. Ecological and epidemiological modelling cope with population dynamics of species organized in networks and interacting on multiple spatial and temporal scales [2, 28]. Mathematical models of complex diseases such as cancer combine molecular networks with population dynamics [5].
Denis Noble, a pioneer of multi-cellular modelling of human physiology, advocated the use of middle-out approaches in biological modelling [23]. Middle-out is an alternative to bottom-up, that tries to explain everything from detailed first principles, and to top-down, that uses strongly simplified representations of reality. A middle-out model uses just enough details to render the essence of the overall system organization. Although this is potentially a very powerful principle, the general mathematical methods to put it into practice are still awaited.
Recently, we have used tropical geometry to extract the essence of biological systems and to simplify complex biological models [24, 25, 30, 32, 33]. Tropical geometry methods exploit a feature of biological systems called multiscaleness [11, 35], summarized by two properties: i) the orders of magnitude of variables and timescales are widely distributed; and ii) at a given timescale, only a small number of variables or components play a driving role, whereas large parts of the system have passive roles and can be reduced.
Modellers and engineers reduce models by introducing ad hoc small parameters in their equations. After scaling of variables and parameters, singular perturbations techniques such as asymptotic approximations, boundary layers, invariant manifolds, etc. can be used to cope with multiple time scales. These techniques, invented at the beginning of the 20\(^{th}\) century for problems in aerodynamics and fluid mechanics [26] are also known in biochemistry under the name of quasi-equilibrium and quasi-steady state approximations [10, 12, 13, 36]. The reduction of the model in a singular perturbation framework is traditionally based on a two time scales (slow and fast) decomposition: fast variables are slaved by the slow ones and can therefore be eliminated. Geometrically, this corresponds to fast relaxation of the system to a low dimensional invariant manifold. The mathematical bases of the slow/fast decomposition were set in [14, 39, 40] for the elimination of the fast variables, and in [8] for the existence of a low dimensional, slow invariant manifold. However, the slow/fast decomposition is neither unique, nor constant; it depends on model parameters and can also change with the phase space position on a trajectory. Despite of several attempts to automatically determine small parameters and slow/fast decompositions, the problem of finding a reduced model remains open. We can mention numerical approaches such as Computational Singular Perturbations [18], or Intrinsic Low Dimensional Manifold [21] that perform a reduction locally, in each point of the trajectory. Notwithstanding their many applications in reactive flow and combustion, these methods are simulation based and may not provide all the possible reductions. Furthermore, explicit reductions obtained by post-processing of the data generated by these numerical methods may be in conflict with more robust approaches [33]. A computer algebra approach to determine small parameters for the quasi-steady state reduction of biochemical models was proposed, based on Gröbner bases calculations, but this approach is limited to models of small dimension [9].
Perturbation approaches, both regular and singular, operate with orders of magnitude. In such approaches, some terms are much smaller than others and can, under some conditions, be neglected. Computations with orders of magnitudes follow maxplus (or, depending on the definition of orders, minplus) algebraic rules. The same rules apply to valuations, that are building blocks for tropical geometry [22]. We developed tropical geometry methods to identify sub-systems that are dominant in certain regions of the phase- and/or parameter-space of dynamical systems [30, 32]. Moreover, tropical geometry is a natural approach to find the scalings needed for slow/fast decompositions and perform model order reduction in the framework of geometric singular perturbation theory. Scaling calculations are based on finding solutions of the tropical equilibration problem, which is very similar to computing tropical prevarieties [25]. For such a problem we have effective algorithms that work well for medium size biochemical models (10–100 species) [20, 33, 37].
Tropical approaches provide a timescale for each biochemical species or relaxation process and one generally has not only two but multiple timescales. This situation is the rule rather than the exception in biology. For instance, cells or organisms use multiple mechanisms to adapt to changes of their environment. These mechanisms involve rapid metabolic or electrophysiological changes (seconds, minutes), slower changes of gene expression (hours), and even slower mutational genetic changes (days, months). Within each category, sub-mechanism timescales spread over several log scale decades. We are using tropical approaches also to cover such situations and obtain reductions for systems with more than two timescales [17].
Interestingly, the dominance relations unravelled by tropical geometry can highlight approximate conservation laws of biological systems, i.e. conservation laws satisfied by a dominant subsystem and not satisfied by the full system. These approximate conservations are exploited for the simplification of biological models [6]. Beyond their importance for model reduction, approximate conservations and tropical equilibrations can be used for computing metastable states of biochemical models, defined as regions of very slow dynamics in phase space [32, 34, 35]. Metastable states represent a generalization of the stable steady states commonly used in analyzing biological networks [29]. A dynamical system spends an infinite time in the neighbourhood of stable steady state, and a large but finite time in the neighborhood of metastable states. In biology, both steady and metastable states are important. The existence of metastable states leads to a property of biological systems called itinerancy, meaning that the system can pass from one metastable state to another one during its dynamics [15, 29]. From a biological point of view itinerancy explains plasticity during adaptation, occurring in numerous situations: brain functioning, embryo development, cellular metabolic changes induced by changes of the environment. The study of the relation between the network structure and the metastable states is also a possible way to design dynamical systems with given properties. This is related to the direction suggested by O.Viro at the 3\(^{rd}\) European Congress of Mathematics to use tropical geometry for constructing real algebraic varieties with prescribed properties in the sense of Hilbert’s 16\(^{th}\) problem [41, 42].
2 Models of Biological Systems and Their Reductions
Chemical reaction networks (CRN) are bipartite graphs such as those represented in Fig. 1, where one type of node stands for chemical species and the other for reactions. Although mainly designed for modelling cell biochemistry, CRNs can also be used to describe interactions of the cell with its microenvironment in tissue models and also the population dynamics in compartment models in ecology and epidemiology. When the copy numbers of all molecular species are large, CRN dynamics is given by systems of ordinary differential equations, usually with polynomial or rational right hand side. For instance, in the Michaelis–Menten model, an archetype of enzymatic reactions, the differential equations for the concentrations of relevant chemical species (substrate and enzyme-substrate complex) have the form
where \(k_1,\ldots ,k_4\) are kinetic parameters.
The Michaelis–Menten model is already quite simple, however comprehensive models of cell biochemistry can be very large. By model reduction one transforms the system of differential equations into a system with less equations and variables that have approximately the same solutions. The variables of the full model missing in the reduced model should be also computable, for instance as functions of the reduced model variables. For applications it is handy when not only the full model but also the reduced model is a CRN, like in Fig. 1.
3 Tropical Geometry Approaches
In order to “tropicalize” biochemical networks, one replaces parameters and species with orders of magnitude. This is performed by the change of variables
where \(\epsilon \) is a small, positive parameter.
This logarithmic change of variables defines a map \(V_{\epsilon } : {\mathbb {R}}_+ \rightarrow {\mathbb {R}}\cup \{-\infty \}\). It is easy to check that when \(\epsilon \rightarrow 0\),
This mapping transforms the semifield \({\mathbb {R}}_+\) into the semifield \({\mathbb {R}}_{min}\) (or min-plus algebra) where multiplication, addition, \(\mathbf{0}\) and \(\mathbf{1}\) become addition, multiplication, \(-\infty \) and 0, respectively. Furthermore, \(V_{\epsilon }(x)\) represents the order of magnitude of x and can express dominance relations, because when \(\epsilon \rightarrow 0\)
Tropicalizing a biochemical model consists of keeping in the r.h.s. of the ODEs only the dominant terms and eliminating the other terms [24]. As can be seen in the Fig. 2 for the Michaelis–Menten model, generically there is only one dominant term, but there are special situations when more than two dominant terms exist. We called tropical equilibration the situation when at least two dominant terms, one positive and one negative exist [24]. Heuristically, the tropical equilibration corresponds to compensation of dominant terms and to slow dynamics, whereas the dynamics with uncompensated dominant terms is fast.
4 Scaling and Singular Perturbation Schemes
In singular perturbation problems it is considered that both parameters and species concentrations depend on some small parameter. In practice we consider that the parameters of the model can be written as \(k=\bar{k} (\epsilon ^*)^{\gamma }\) where \(\epsilon ^*\) is a small positive parameterFootnote 1. Next, we replace k by \(k(\epsilon ) = \bar{k} \epsilon ^\gamma \) and we study the asymptotic solutions in the limit \(\epsilon \rightarrow 0\). If \(\epsilon ^*\) is small enough, then the asymptotic solutions are close to the solutions of the model.
The tropical geometry approaches allow to find the appropriate scalings. To this end, we use valuations of parameters and species concentrations defined as \(V(x(\epsilon )) = \lim _{\epsilon \rightarrow 0} V_\epsilon (x(\epsilon )) ,\, V(k(\epsilon )) = \lim _{\epsilon \rightarrow 0} V_\epsilon (k(\epsilon )) \). It follows, at lowest order that
The valuations of the parameters can be obtained by rounding from their actual numeric values \(V(k) = \mathrm {round}(V_{\epsilon ^*} (k))\), where \(\epsilon ^*\) can be any small positive number. Different choices of \(\epsilon ^*\) are only approximately equivalent and in practice one tries several values and selects a robust choice. We showed in [32] that the valuations of the concentrations V(x) have to satisfy tropical equilibrations.
Let us illustrate how this can be used to define slow/fast decompositions and reduce the Michaelis–Menten model. Consider the case when \(k_3<< k_4\) corresponding to the quasi-steady state approximation. In this case we have
where \(\gamma _i = V(k_i), 1\le i \le 4,\, a_j = V(x_j), 1\le j \le 2 \).
Each tropical equilibration leads to a scaling and to a candidate reduced model. For instance, the tropical equilibration \(\gamma _1 + a_1 - a_2 = \gamma _2 + a_1 = \gamma _4\) leads to
where the derivatives are with respect to the rescaled time \(\tau = \epsilon ^{\gamma _1}\) and \(\gamma _3 - \gamma _4>0\) (because \(k_3<< k_4)\).
The case \(\gamma _1-\gamma _4>0\) is typically a singular perturbation case and the solution of (4) converges to the solution of
as \(\epsilon \rightarrow 0\).
The justification of the convergence lies outside tropical geometry considerations and uses singular perturbations results; in this simple case it follows from [39]. Some general results of convergence can be found in [32] for the two time scale case and in [17] for the multiple timescale case.
The second equation of (5) is called quasi-steady state condition. Using this condition to eliminate \(\bar{x}_2\), we obtain the reduced model
that is the Briggs-Haldane approximation to the Michaelis–Menten model, with \(V_{max}=\bar{k}_1 \bar{k}_4 / \bar{k}_2\), \(K_m = \bar{k}_4/\bar{k}_2\).
By this procedure a model of two differential equations and four parameters was reduced to a model of one differential equation and two parameters.
5 Approximate Conservation Laws
In the case when \(k_3>> k_4\) using the same procedure as in the preceding section for the tropical equilibration \(\gamma _1 + a_1 - a_2 = \gamma _2 + a_1 = \gamma _3\) leads to
as \(\epsilon \rightarrow 0\).
The quasi-steady state equations are indeterminate and one can not eliminate both fast variables \(x_1\) and \(x_2\) as usual in the quasi-steady state approximation. Furthermore, the slow variables whose dynamics have to be retained in the asymptotic limit are not explicit.
This degenerate case occurs quite often in practice. In order to obtain a reduction, we exploit approximate conservations. When \(k_3>> k_4\), the fast dynamics of the Michaelis–Menten model can be approximated by
It can be easily checked that this system has a first integral \( \frac{\mathrm {d} (x_1+x_2) }{\mathrm {d} t } =0\). \(x_1+x_2\) is called an approximate conservation law because it is conserved by the fast approximated system and is not conserved by the full system.
By introducing the new variable \(x_3 = x_1 + x_2 = \bar{x}_3 \epsilon ^{\min (a_1,a_2)}\) we get
As \(\gamma _4+a_2-\min (a_1,a_2) > \gamma _3\) and \(\gamma _4+a_2-\min (a_1,a_2) > \gamma _3\), it follows that the variable \(x_3\) is slower than both \(x_1\) and \(x_2\), with no condition on the valuations of parameters and variables.
More generally, approximate conservations can be defined each time a scaling of the system by powers of \(\epsilon \) is known. We proved, for polynomial ODEs, that any approximate linear or polynomial conservation law is a slow variable [6]. This result can be used for model reduction in the degenerate situation when the quasi-steady state equations are indeterminate.
6 Metastability
A typical trajectory of a multiscale system consists in a succession of qualitatively different slow segments separated by fast transitions (see Fig. 3). The slow segments, corresponding to metastable states or regimes, can be of several types such as attractive slow invariant manifolds, Milnor attractors, saddle connections, etc.
According to the famous conjecture of Jacob Palis, smooth dynamical systems on compact spaces should have a finite number of attractors whose basins cover the entire ambient space [27]. These conditions apply to biochemical reaction networks whose ambient space is compact because of conservation, or dissipativity. The conjecture could be extended to metastable states where smoothness of the vector fields and compactness of the ambient space should lead to a finite number of such states. In this case, symbolic descriptions of the trajectories as sequences of symbols, representing the metastable states that are visited, are possible.
Tropical equilibrations are natural candidates for slow attractive invariant manifolds and metastable states. Beyond the purely geometric conditions, hyperbolicity conditions are needed for the stability of such states [17, 32]. The set of tropical equilibrations is a polyhedral complex. The maximal dimension faces of such a complex are called branches (Fig. 4).
Because it is much easier to make calculations in polyhedral geometry than with high dimensional smooth dynamical systems, the computation of tropical branches represents a useful tool for understanding complex dynamical systems. Moreover, many dynamical properties such as timescales, are linear functions of parameter and species concentrations orders after tropicalization. Thus, polyhedral geometry can be used for expressing conditions for particular model behaviors. This opens fascinating directions for the synthesis of systems with desired properties.
7 Conclusion
Tropical geometry has promising applications in the field of analysis of biological models.
The calculation of tropical equilibrations is a first important step in algorithms for automatic reduction of complex biological models. By model reduction, complex models are transformed into simpler models that can be more easily analyzed, simulated and learned from data.
Tropical geometry methods are possible ways to symbolic characterization of dynamics in high dimension, also to synthesis of dynamical systems with desired features. This may have important practical applications but can also provide at least partial answers to open questions in mathematics.
Several tools for tropical simplification of biological systems are currently being developed within the French-German Symbiont consortium [3, 4] and will be made available to the computer algebra and computational biology communities.
Notes
- 1.
this procedure restricts the asymptotic regime to very small or very large parameters; translation is needed for asymptotic studies close to finite special parameter values.
References
Almquist, J., Cvijovic, M., Hatzimanikatis, V., Nielsen, J., Jirstrand, M.: Kinetic models in industrial biotechnology-improving cell factory performance. Metab. Eng. 24, 38–60 (2014). https://doi.org/10.1016/j.ymben.2014.03.007
Barrat, A., Barthelemy, M., Vespignani, A.: Dynamic Processes on Complex Networks. Cambridge University Press, Cambridge (2008). https://doi.org/10.1017/CBO9780511791383
Boulier, F., et al.: The SYMBIONT project: symbolic methods for biological networks. F1000Research 7, 1341 (2018). https://doi.org/10.7490/f1000research
Boulier, F., et al.: The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra 52(3), 67–70 (2018). https://doi.org/10.1145/3313880.3313885
Deisboeck, T.S., Wang, Z., Macklin, P., Cristini, V.: Multiscale cancer modeling. Ann. Rev. Biomed. Eng. 13, 127–155 (2011). https://doi.org/10.1146/annurev-bioeng-071910-124729
Desoeuvres, A., Iosif, A., Radulescu, O., Seiß, M.: Approximated conservation laws of chemical reaction networks with multiple time scales. preprint, April 2020
Eliasmith, C., et al.: A large-scale model of the functioning brain. Science 338(6111), 1202–1205 (2012). https://doi.org/10.1126/science.1225266
Fenichel, N.: Geometric singular perturbation theory for ordinary differential equations. J. Differ. Equ. 31(1), 53–98 (1979). https://doi.org/10.1016/0022-0396(79)90152-9
Goeke, A., Walcher, S., Zerz, E.: Determining “small parameters” for quasi-steady state. J. Differ. Equ. 259(3), 1149–1180 (2015). https://doi.org/10.1016/j.jde.2015.02.038
Goeke, A., Walcher, S., Zerz, E.: Quasi-steady state – Intuition, perturbation theory and algorithmic algebra. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2015. LNCS, vol. 9301, pp. 135–151. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24021-3_10
Gorban, A.N., Radulescu, O.: Dynamic and static limitation in multiscale reaction networks, revisited. Adv. Chem. Eng. 34(3), 103–173 (2008). https://doi.org/10.1016/s0065-2377(08)00003-3
Gorban, A.N., Radulescu, O., Zinovyev, A.Y.: Asymptotology of chemical reaction networks. Chem. Eng. Sci. 65(7), 2310–2324 (2010). https://doi.org/10.1016/j.ces.2009.09.005
Heineken, F.G., Tsuchiya, H.M., Aris, R.: On the mathematical status of the pseudo-steady state hypothesis of biochemical kinetics. Math. Biosci. 1(1), 95–113 (1967). https://doi.org/10.1016/0025-5564(67)90029-6
Hoppensteadt, F.: Properties of solutions of ordinary differential equations with small parameters. Commun. Pure Appl. Math. 24(6), 807–840 (1971). https://doi.org/10.1002/cpa.3160240607
Kaneko, K., Tsuda, I.: Chaotic itinerancy. Chaos Interdisc. J. Nonlinear Sci. 13(3), 926–936 (2003). https://doi.org/10.1063/1.1607783
Kholodenko, B.N.: Cell-signalling dynamics in time and space. Nat. Rev. Mol. Cell Biol. 7(3), 165 (2006). https://doi.org/10.1038/nrm1838
Kruff, N., Lüders, C., Radulescu, O., Sturm, T., Walcher, S.: Singular perturbation reduction of reaction networks with multiple time scales. In: Proceedings of CASC 2020, 14–18 September 2020
Lam, S., Goussis, D.: Understanding complex chemical kinetics with computational singular perturbation. In: Symposium (International) on Combustion. vol. 22, pp. 931–941. Elsevier (1989). https://doi.org/10.1016/S0082-0784(89)80102-X
Le Novere, N., et al.: The systems biology graphical notation. Nat. Biotechnol. 27(8), 735–741 (2009). https://doi.org/10.1038/nbt.1558
Lüders, C.: Computing tropical prevarieties with satisfiability modulo theory (SMT) solvers, April 2020. arXiv preprint arXiv:2004.07058
Maas, U., Pope, S.B.: Implementation of simplified chemical kinetics based on intrinsic low-dimensional manifolds. In: Symposium (International) on Combustion, vol. 24, pp. 103–112. Elsevier (1992). https://doi.org/10.1016/S0082-0784(06)80017-2
Maclagan, D., Sturmfels, B.: Introduction to tropical geometry, Graduate Studies in Mathematics, vol. 161. American Mathematical Society, RI (2015). https://doi.org/10.1365/s13291-016-0133-6
Noble, D.: The future: putting humpty-dumpty together again. Biochem. Soc. Trans. 31(1), 156–158 (2003). https://doi.org/10.1042/bst0310156
Noel, V., Grigoriev, D., Vakulenko, S., Radulescu, O.: Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. In: Proceedings of SASB, ENTCS, vol. 284, pp. 75–91. Elsevier, June 2012. https://doi.org/10.1016/j.entcs.2012.05.016
Noel, V., Grigoriev, D., Vakulenko, S., Radulescu, O.: Tropicalization and tropical equilibration of chemical reactions. In: Litvinov, G., Sergeev, S. (eds.) Tropical and Idempotent Mathematics and Applications, Contemporary Mathematics, vol. 616, pp. 261–277. American Mathematical Society (2014). https://doi.org/10.1090/conm/616/12316
O’Malley, R.E.: Historical Developments in Singular Perturbations. Springer, New York (2014). https://doi.org/10.1007/978-3-319-11924-3
Palis, J.: A global view of dynamics and a conjecture on the denseness of finitude of attractors. Astérisque 261(13–16), 335–347 (2000). http://www.numdam.org/item/?id=AST_2000__261__335_0
Pastor-Satorras, R., Castellano, C., Van Mieghem, P., Vespignani, A.: Epidemic processes in complex networks. Rev. Mod. Phys. 87(3), 925 (2015). https://doi.org/10.1103/RevModPhys.87.925
Rabinovich, M.I., Varona, P., Selverston, A.I., Abarbanel, H.D.: Dynamical principles in neuroscience. Rev. Mod. Phys. 78(4), 1213 (2006). https://doi.org/10.1103/RevModPhys.78.121
Radulescu, O., Gorban, A.N., Zinovyev, A., Noel, V.: Reduction of dynamical biochemical reactions networks in computational biology. Front. Genet. 3, 131 (2012). https://doi.org/10.3389/fgene.2012.00131
Radulescu, O., Gorban, A.N., Zinovyev, A., Lilienbaum, A.: Robust simplifications of multiscale biochemical networks. BMC Syst. Biol. 2(1), 86 (2008). https://doi.org/10.1186/1752-0509-2-86
Radulescu, O., Vakulenko, S., Grigoriev, D.: Model reduction of biochemical reactions networks by tropical analysis methods. Math. Mod. Nat. Phenom. 10(3), 124–138 (2015). https://doi.org/10.1051/mmnp/201510310
Samal, S.S., Grigoriev, D., Fröhlich, H., Weber, A., Radulescu, O.: A geometric method for model reduction of biochemical networks with polynomial rate functions. Bull. Math. Biol. 77(12), 2180–2211 (2015). https://doi.org/10.1007/s11538-015-0118-0
Samal, S.S., Krishnan, J., Esfahani, A.H., Lüders, C., Weber, A., Radulescu, O.: Metastable regimes and tipping points of biochemical networks with potential applications in precision medicine. In: Liò, P., Zuliani, P. (eds.) Automated Reasoning for Systems Biology and Medicine, pp. 269–295. Springer (2019). https://doi.org/10.1101/466714
Samal, S.S., Naldi, A., Grigoriev, D., Weber, A., Théret, N., Radulescu, O.: Geometric analysis of pathways dynamics: application to versatility of tgf-\(\beta \) receptors. Biosystem 149, 3–14 (2016). https://doi.org/10.1016/j.biosystems.2016.07.004
Segel, L.A., Slemrod, M.: The quasi-steady-state assumption: a case study in perturbation. SIAM Rev. 31(3), 446–477 (1989). https://doi.org/10.1137/1031091
Soliman, S., Fages, F., Radulescu, O.: A constraint solving approach to model reduction by tropical equilibration. Algorithm Mol. Biol. (2014). https://doi.org/10.1186/s13015-014-0024-2
Stanford, N.J., Lubitz, T., Smallbone, K., Klipp, E., Mendes, P., Liebermeister, W.: Systematic construction of kinetic models from genome-scale metabolic networks. PloS One 8(11), e79195 (2013). https://doi.org/10.1371/journal.pone.0079195
Tikhonov, A.N.: Systems of differential equations containing small parameters in the derivatives. Math. Sb. (N. S.) 73(3), 575–586 (1952). https://www.mathnet.ru/links/d3a478d04c7ea72687899d99ec88ce5c/sm5548.pdf
Vasileva, A.B., Butuzov, V.: Singularly perturbed equations in critical cases. MIzMU (1978)
Viro, O.: Dequantization of real algebraic geometry on logarithmic paper. In: European Congress of Mathematics, Progress in Mathematics, vol. 201, pp. 135–146. Springer (2001). https://doi.org/10.1007/978-3-0348-8268-2_8
Viro, O.: From the sixteenth hilbert problem to tropical geometry. Jpn. J. Math. 3(2), 185–214 (2008). https://doi.org/10.1007/s11537-008-0832-6
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Radulescu, O. (2020). Tropical Geometry of Biological Systems (Invited Talk). In: Boulier, F., England, M., Sadykov, T.M., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2020. Lecture Notes in Computer Science(), vol 12291. Springer, Cham. https://doi.org/10.1007/978-3-030-60026-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-60026-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-60025-9
Online ISBN: 978-3-030-60026-6
eBook Packages: Computer ScienceComputer Science (R0)