🛠️ Compute Polynomials Twice as Fast
Summary
Compute Polynomials Twice as Fast is a website that lets users evaluate polynomials using a new multiplication-reducing method alongside previous approaches by Knuth and others. The technique is backed by a full Lean proof.
Why it’s interesting
It offers an interactive way to explore a new polynomial evaluation method supported by a full Lean proof.
Target user
People who have polynomials to evaluate
Source metrics: Points 2 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN
Summary
Compute Polynomials Twice as Fast is a website that lets users evaluate polynomials using a new multiplication-reducing method alongside previous approaches by Knuth and others. The technique is backed by a full Lean proof.
Why it’s interesting
It offers an interactive way to explore a new polynomial evaluation method supported by a full Lean proof.
Target user
People who have polynomials to evaluate
Source metrics: Points 2 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN