Prefer a chat interface with context about you and your work?
Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing