A short proof of the logarithmic Bramson correction in Fisher-KPP equations.
François HamelJames NolenJean-Michel RoquejoffreLenya RyzhikPublished in: Networks Heterog. Media (2013)
Keyphrases
- differential equations
- linear logic
- theorem proving
- automated theorem proving
- nonlinear equations
- worst case
- mathematical model
- genetic algorithm
- algebraic equations
- linear equations
- theorem prover
- error correction
- numerical methods
- linear systems
- numerical solution
- probabilistic model
- objective function
- bayesian networks
- information systems
- neural network
- neyman pearson