Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing.
Maxime BredenMaxime PayanPublished in: CoRR (2023)
Keyphrases
- computer assisted
- computational model
- probabilistic model
- mathematical model
- prior knowledge
- cost function
- experimental data
- statistical model
- em algorithm
- post test
- formal model
- computer aided
- theoretical framework
- neural network
- management system
- probability distribution
- learning process
- search space
- objective function
- high level