Inference of probabilities over a stochastic IL-system by quantifier elimination

DOI10.1007/S11786-007-0037-ZzbMath1152.92006OpenAlexW2047675758MaRDI QIDQ926324

Hirokazu Anai, Hiroshi Yoshida, Katsuhisa Horimoto

Publication date: 27 May 2008

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-007-0037-z

zbMATH Keywords

quantifier eliminationalgebraic approachcell-type diversitystochastic Lindenmayer system with interactions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Physiology (general) (92C30) Cell biology (92C37) Grammars and rewriting systems (68Q42) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Elliptic curves and Fibonacci numbers arising from Lindenmayer system with symbolic computation

This page was built for publication: Inference of probabilities over a stochastic IL-system by quantifier elimination