We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Symbolic Computation

Title: First-Order Tests for Toricity

Abstract: Motivated by problems arising with the symbolic analysis of steady state ideals in Chemical Reaction Network Theory, we consider the problem of testing whether the points in a complex or real variety with non-zero coordinates form a coset of a multiplicative group. That property corresponds to Shifted Toricity, a recent generalization of toricity of the corresponding polynomial ideal. The key idea is to take a geometric view on varieties rather than an algebraic view on ideals. Recently, corresponding coset tests have been proposed for complex and for real varieties. The former combine numerous techniques from commutative algorithmic algebra with Gr\"obner bases as the central algorithmic tool. The latter are based on interpreted first-order logic in real closed fields with real quantifier elimination techniques on the algorithmic side. Here we take a new logic approach to both theories, complex and real, and beyond. Besides alternative algorithms, our approach provides a unified view on theories of fields and helps to understand the relevance and interconnection of the rich existing literature in the area, which has been focusing on complex numbers, while from a scientific point of view the (positive) real numbers are clearly the relevant domain in chemical reaction network theory. We apply prototypical implementations of our new approach to a set of 129 models from the BioModels repository.
Subjects: Symbolic Computation (cs.SC); Molecular Networks (q-bio.MN)
Journal reference: Proc. CASC 2020, LNCS 12291, pp.510-527, Springer 2020
DOI: 10.1007/978-3-030-60026-6_30
Cite as: arXiv:2002.03586 [cs.SC]
  (or arXiv:2002.03586v1 [cs.SC] for this version)

Submission history

From: Thomas Sturm [view email]
[v1] Mon, 10 Feb 2020 07:56:07 GMT (19kb,D)

Link back to: arXiv, form interface, contact.