tomsib2001/mpi_topologies
Some diffusion on several elementary diffusion algorithms for INF442
Developer Profile
tomsib2001
Discovered public repositories for tomsib2001 in the GitHub catalog.
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]
tomsib2001/CoqFP_complex_mult_FMA
Formalisation of the paper Error Bounds On Complex Floating Point multiplication with FMA
tomsib2001/speaker-recognition
Student project for speaker recognition.