Name Schnieber M. Polynomial Formal Verification of Approximate Functions 2023
File Type document
Size 6.40MB
UpdateDate 2024-7-12
hash *****0DBCB4F30C6538ACBB01F50EBB4725AE4B
Hot 7
Files Schnieber M. Polynomial Formal Verification of Approximate Functions 2023.pdf | 6.40MB