VOOZH
about
URL: https://dev.to/t/numerics
⇱ Numerics - DEV Community
🍢 hatsu-yakitori 0.4.8 & 0.4.9: Lean-Verified FMM, HDF5 Input, and a Smarter Frontier
👁 p_pumulo profile
Yoshihiro Hasegawa
👁 Image
Yoshihiro Hasegawa
May 30
🍢 hatsu-yakitori 0.4.8 & 0.4.9: Lean-Verified FMM, HDF5 Input, and a Smarter Frontier
#
scheme
#
numerics
#
formalmethods
#
algorithms
Add Comment
9 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
👁 DEV Community
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
👁 Image
👁 Image
👁 Image
👁 Image
👁 Image
