FARMS maps computational mathematics into reusable, Lean-checked knowledge
Of 171 numerical linear algebra and PDE targets, 157 were accepted at a mean estimated cost of $0.85–2.29 each.
Stories per day · 30 days
Relatedcomputational-science1formal-verification1knowledge-representation1lean1optimization1research-paper1variational-inequalities1
1 stories, newest first · one card per story