Keyphrases
- interactive theorem proving
- matrix factorization
- pairwise
- singular value decomposition
- intuitionistic logic
- social networks
- data sets
- linear logic
- proof planning
- kronecker product
- neural network
- information systems
- feature selection
- multiscale
- artificial intelligence
- low rank
- von neumann
- natural deduction
- proof theoretic