Mixed-precision for Linear Solvers in Global Geophysical Flows.

Jan Ackmann Peter D. Düben Tim N. Palmer Piotr K. Smolarkiewicz

Published in: CoRR (2021)

Keyphrases

information retrieval
sat solvers
global information
real time
machine learning
high precision
linear systems
simple linear
generalized linear
databases
closed form
precision and recall
average precision
linear models
quantified boolean formulas