Sofi\`ene Tahar

Identifiers

• name variant Sofi\`ene Tahar 0.60 · backfill

Papers (1)

1. Towards the Formalization of Fractional Calculus in Higher-Order Logic cs.LO · 2015 · author #3

Mentions

• 1505.02140 #3 · backfill · confidence 0.70 Sofi\`ene Tahar

Frequent Coauthors

• Osman Hasan 1 shared papers
• Umair Siddique 1 shared papers