ByNobleID
    Automatic construction of special-purpose programs from mathematical algorithms | NobleID