Computing difference abstractions of linear equation systems (Q2238208)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing difference abstractions of linear equation systems |
scientific article |
Statements
Computing difference abstractions of linear equation systems (English)
0 references
1 November 2021
0 references
abstract interpretation
0 references
constraint programming
0 references
linear programming
0 references
elementary modes
0 references
first-order definitions
0 references
gene knockout prediction
0 references
reaction networks
0 references
systems biology
0 references
synthetic biology
0 references
metabolic networks
0 references
Boolean abstraction
0 references
