scientific article; zbMATH DE number 67112
From MaRDI portal
Publication:4011803
Recommendations
- scientific article; zbMATH DE number 3976328
- Computational algebra for bifurcation theory
- Computer algebra and bifurcations
- scientific article; zbMATH DE number 992826
- scientific article; zbMATH DE number 1163140
- Perturbation methods, bifurcation theory and computer algebra
- Computer assisted proofs in dynamical systems
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
- scientific article; zbMATH DE number 834497
- scientific article; zbMATH DE number 4108029
Cited in
(15)- Computer algebra and bifurcations
- Undecidable Hopf bifurcation with undecidable fixed point
- Computer algebra methods for equivariant dynamical systems
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
- Computational algebra for bifurcation theory
- Computer assisted proofs in dynamical systems
- scientific article; zbMATH DE number 992826 (Why is no real title available?)
- scientific article; zbMATH DE number 3886307 (Why is no real title available?)
- scientific article; zbMATH DE number 3976328 (Why is no real title available?)
- Symbolic computation and the cyclicity problem for singularities
- scientific article; zbMATH DE number 1163140 (Why is no real title available?)
- Phase Portraits of Planar Vector Fields: Computer Proofs
- Mode decomposition of global bifurcation diagram with Gröbner bases
- REDUCE and the bifurcation of limit cycles
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4011803)
