Florent Bréhard, numerical analysis and formal proof

on November 3, 2021

Discover the portrait of Florent Bréhard from #CRIStAL, who works on #numerical analysis and #formal proof to compute and manipulate #ensemblistic #numerical representations

More...

Highlights