Toward Multi-Precision, Multi-Format Numerics.

David Thien Bill Zorn Pavel Panchekha Zachary Tatlock

Published in: CORRECTNESS@SC (2019)

Keyphrases

multimedia
high quality
digital libraries
management system
database
databases
neural network
real world
search engine
image sequences
objective function