Univalent Double Categories.

Niels van der Weide Nima Rasekh Benedikt Ahrens Paige Randall North

Published in: CPP (2024)

Keyphrases

databases
information technology
neural network
multiscale
automatically classify