Measure Construction by Extension in Dependent Type Theory with Application to Integration.

Reynald Affeldt Cyril Cohen

Published in: J. Autom. Reason. (2023)

Keyphrases

decision support
information theory
case study
data structure
search algorithm
data sets
neural network
information systems
video sequences
application specific