Zulip Chat Archive

Stream: general

Topic: idea for a small project


Johan Commelin (Apr 13 2020 at 09:44):

Several people have been asking what to do after NNG. One possibility would be Lagrange interpolations: https://en.wikipedia.org/wiki/Lagrange_polynomial
Probably relevant: https://github.com/leanprover-community/mathlib/blob/master/src/linear_algebra/nonsingular_inverse.lean

Reid Barton (Apr 13 2020 at 13:28):

This would be quite useful in cryptography.

Johan Commelin (May 05 2020 at 04:28):

Besides Lagrange interpolation #2600, another project that someone could dive into is linear programming #2601.

Johan Commelin (May 05 2020 at 04:34):

Anyone interested in finding a first project could take a look at the issues/PRs labeled 'easy' and/or 'please adopt'. For almost all of them, there will be an experienced contributor willing to coach you along.


Last updated: Dec 20 2023 at 11:08 UTC