NLA, explainedNumerical linear algebra

Contribute

Submit a proof digest.

Select a problem from the NLA repository (verified, solved, or unsolved) and write an explanation or make a video of at most ten minutes about it. Send a link to your work and a plain-text overview identifying the problem, its repository status, and how your explanation helps its intended audience. Historical context, applications and worked examples are welcome. The library welcomes contributions at any time, independently of the optional competition.

Submit directly for private review. No GitHub account or email app is needed.
Your submission must concern a problem listed in the NLA repository. You do not need to have solved the problem or written its proof. Give the problem ID and a link to its entry, cite any proof you discuss, and credit its mathematical authors. For an unsolved problem, make clear what is known and what remains open. Propose new problems or additional solutions to the original repository through a pull request.
01 Identify the work

This is the main author credit for the digest. For joint work, list all authors.

The organisers will use this address to contact you about your entry. It will not appear on your public library page.

Enter “none” if you have not completed a degree. For joint work, give each author’s name and last completed degree.

For joint work, give each author’s name and current status.

Link to the selected problem’s file or directory in the repository, preferably at a fixed commit. Give its problem ID and status (verified, solved, or unsolved) in your overview, together with citations for any proof you discuss.

Start the link with https://. Paper: a Zenodo record, arXiv abstract or ResearchGate publication page. Video: YouTube or Vimeo. Link to a viewable page, not a direct download, ZIP or executable. A DOI is arranged after acceptance; it is not required for submission.

02 Optional competition

The library is open to everyone and exists independently of the competition. You can submit to the library without entering the competition. Competition entries are due by 30 November 2026.

Eligible entrants have not completed their first degree, or are graduate students or postdoctoral researchers at academic institutions. See the competition eligibility and joint-entry guidance. Mixed teams should contact the organisers to confirm an arrangement associated with one eligible team member.

03 Describe the argument

Paste readable text, not HTML or code to execute. Explain what readers will understand from your account; include attribution and any claimed formal-verification evidence. For a video, include its transcript as well.

Complete the verification to enable submission. If verification does not load, refresh the page or contact the organisers.

Wait for the receipt confirmation before closing this page. Your text stays in the form if a submission fails.