tomsib2001/mpi_topologies
Some diffusion on several elementary diffusion algorithms for INF442
Public GitHub Catalog
Discovered Sep 29, 2026
tomsib2001 / CoqFP_complex_mult_FMA
Formalisation of the paper Error Bounds On Complex Floating Point multiplication with FMA
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#15507472GitHub System ID
tomsib2001Organization / User
PublicVisibility
ActiveCatalog Status
More from tomsib2001
tomsib2001/euler54
Project Euler 54 in OCaml
tomsib2001/validnum
Validated Numerics in Coq: Differential Equations, integrals and more.
tomsib2001/orisi
Oracle and client source code [START HERE]