In this work we present and analyze a fully-mixed formulation for the nonlinear model given by the coupling of the Navier–Stokes and Darcy–Forchheimer equations with the Beavers–Joseph–Saffman condition on the interface. ...