vix.ing · top · new · best · stats · spec

Jan Fiala

  1. Interface for Sparse Linear Algebra Operations
    2024/11/20 by Ahmad Abdelfattah, Abdelfattah, Ahmad, Willow Ahrens +67 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Mathematical Software (cs.MS) #Scheduling and Optimization Algorithms