Formalizing results about integrodifference equations.
-
Long-time behavior of a class of biological models by Weinberger (1982).
-
Existence and stability of traveling wave solutions of a nonlinear integral operator by Lui (1983).
-
Integrodifference equations, Allee effects, and invasions by Wang, Kot, Neubert (2002).
-
Wave speed and critical patch size for integro-difference equations with a strong Allee effect by Li, Otto (2022).