sum): alternating binomial coefficient sums (#4997)

Commit

5 years ago

feat(data/nat/choose/sum): alternating binomial coefficient sums (#4997) Evaluates some sums related to binomial coefficients with alternating signs

Author

awainverse

Parents