Proven Distributed Memory Parallelization of Particle Methods. ACM Trans. Parallel Comput., Association for Computing Machinery, New York, NY, USA, Sep 18, 2024. [PUMA: algorithmics, algorithms, bounds, definition, distributed engineering formal memory, meshfree methods, parallelization, particle scalability simulation software] URL