The document summarizes a paper that presents techniques for using dynamic analysis to discover polynomial and array invariants from program traces. It extends previous work by supporting nonlinear polynomial relations and more complex array invariants. The techniques formulate invariant discovery as a satisfiability problem and use mathematical solvers. An evaluation on test programs found most documented invariants, showing the approach can infer invariants for numeric algorithms. However, it may not scale to large programs and is limited by the traces collected.