We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
Set of MATLB tutorials covers the following topics: programming in the language of MATLAB, linear algebra, matrix computations, numerical analysis and linear programming with MATLA...
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...
Kolmogorov’s setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role ...