Reaction-network simulation software is commonly checked only by aggregate signals such as time course run without error or the plausibility of tracked species. This work shows this is insufficient for a specific construct within SBML (the standard encoding format for reaction-network models), the AlgebraicRule, which...
Reaction-network simulation software is commonly checked only by aggregate signals such as time course run without error or the plausibility of tracked species. This work shows this is insufficient for a specific construct within SBML (the standard encoding format for reaction-network models), the AlgebraicRule, which...
A large literature builds physical structure into learned dynamics on the premise that models respecting the underlying physics predict better. This work tests that premise using exact polynomial invariants recovered from trajectories and canonicalised as reduced Gröbner bases over ℚ. On Acrobot, exactness provides lit...
A large literature builds physical structure into learned dynamics on the premise that models respecting the underlying physics predict better. This work tests that premise using exact polynomial invariants recovered from trajectories and canonicalised as reduced Gröbner bases over ℚ. On Acrobot, exactness provides lit...