From Equations to Distinctions: Two Interpretations of Effectful Computations.

Niels F. W. Voorneveld

Published in: MSFP@ETAPS (2020)

Keyphrases

numerical solution
mathematical model
differential equations
databases
artificial intelligence
expert systems
linear equations
database
high level
image sequences
computational complexity
numerical methods
ordinary differential equations