Real Arithmetic in TLAPM.

Ovini V. W. Gunasekera Andrew Sogokon Antonios Gouglidis Neeraj Suri

Published in: NFM (2024)

Keyphrases

data mining
real life
neural network
artificial intelligence
decision making
multimedia
multiscale
probabilistic model
arithmetic operations