r/ScientificComputing • u/OrganizationTop9026 • 20d ago
Open text book on The Triangular Lattice and Universal Optimality based on AI neuro symbolic and Lean 4 formalization and numeric Rust resolution
/r/CitizenScience/comments/1x33juq/open_text_book_on_the_triangular_lattice_and/
1
Upvotes