Alekseev–Gröbner formula
The Alekseev–Gröbner formula, or nonlinear variation-of-constants formula, is a generalization of the linear variation of constants formula which was proven independently by Wolfgang Gröbner in 1960 a
Numerical certification
Numerical certification is the process of verifying the correctness of a candidate solution to a system of equations. In (numerical) computational mathematics, such as numerical algebraic geometry, ca
Nonlinear algebra
Nonlinear algebra is the nonlinear analogue to linear algebra, generalizing notions of spaces and transformations coming from the linear setting. Algebraic geometry is one of the main areas of mathema