Computer Algebra Applications in the Life Sciences

Aims and Scope

A network of genes whose expressions influence each other, a community of microorganisms inhabiting our digestive system, and an investigation into the interactions among animal species within an ecosystem to plan for conserving an endangered species: all are examples of life science research challenges that rely on mathematical modeling. Although numerous numerical and statistical techniques exist to address the mathematical aspects of these studies, when dealing with parametric systems, the most effective strategy is to treat parameters as symbolic variables and apply computer algebra techniques. This ensures a comprehensive analysis that captures all potential system behaviours. However, symbolic computation often uses algorithms with high computational complexities, and in practice, limitations in memory space and processing speed restrict feasible computations to relatively small size cases. Therefore, integrating numerical and symbolic approaches, or leveraging emerging machine learning technologies, may offer practical advantages.

The aim of this session is to bring together experts from life sciences, mathematical biology, and computer algebra to exchange questions and ideas: not only to stay informed about recent developments but also to trigger new collaborations and research initiatives.

This will be the fifth edition of CASinLife. The first four editions were held as special sessions of ACA 2022 (in Turkey), ACA 2023 (in Poland), ICMS 2024 (in the UK), and ACA 2025 (in Greece). Topics of interest include, but are not limited to the following:

  • Mathematical modelling for biological/chemical/ecological questions
  • Chemical reaction network theory
  • Combinatorial optimizations and machine learning tools for mathematical biology
  • Computer algebra packages and algorithms for real algebraic geometry
  • Parameter identifiability analysis
  • Phylogenetics

Organizers:

AmirHosein Sadeghimanesh – Coventry University, UK (Send email)

Andrzej Mizera – University of Warsaw & IDEAS Research Institute, Poland (Send email)