Pages that link to "Item:Q5464720"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464720):
Displaying 6 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- On the Implementation of CGS Real QE (Q2819213) (← links)
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
