This repository also contains Coq proofs of some of the 100 theorems: ballot.v for the Ballot Theorem birthday.v for the Birthday Problem cardan_ferrari.v for The Solution of a Cubic and the Solution ...

A linear sequence goes from one term to the next by always adding (or subtracting) the same value. The number added (or subtracted) at each stage of the linear sequence is called the common difference ...

A linear sequence repeatedly increases or decreases by the same amount. The number added (or subtracted) at each stage of the linear sequence remains the same. STEP 1 - You can solve problems using ...