Knowledge Tree

researcher / Mohamed amine Najahi

Mohamed amine Najahi

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks : and its application to linear algebra basic blocks