6 citations · 6 across the 2 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
q-bio.QM2019
RuleVis: Constructing Patterns and Rules for Rule-Based Models
David Abramov, Jasmine Otto, Mahika Dubey +4
We introduce RuleVis, a web-based application for defining and editing "correct-by-construction" executable rules that model biochemical functionality, which can be used to simulat…
cs.MS2019
Solving Polynomial Systems with phcpy
Jasmine Otto, Angus Forbes, Jan Verschelde
The solutions of a system of polynomials in several variables are often needed, e.g.: in the design of mechanical systems, and in phase-space analyses of nonlinear biological dynam…