query: rule generalization-NCA algebra
positive_passages.docid: 148021
positive_passages.text: Parallel evaluation produces wrong result
negative_passages.docid: 99677
negative_passages.text: Generalization of Cayley-Hamilton
negative_passages.docid: 72077
negative_passages.text: ''Linear'' transformations between vector spaces over different fields .
negative_passages.docid: 115331
negative_passages.text: Deriving the sub-differential of the nuclear norm
negative_passages.docid: 69043
negative_passages.text: The equivalence relation generated by a relation
negative_passages.docid: 65910
negative_passages.text: Reflexivity of equivalence relations
negative_passages.docid: 98372
negative_passages.text: Proof of the principle of backwards induction
negative_passages.docid: 153975
negative_passages.text: Proving mathematical induction with arbitrary base using (weak) induction
negative_passages.docid: 14554
negative_passages.text: From a list to a list of rules
negative_passages.docid: 151561
negative_passages.text: Proving 'Law of Excluded Middle' in Fitch system
negative_passages.docid: 36615
negative_passages.text: Rule-based creation of sub-lists
negative_passages.docid: 57619
negative_passages.text: Norms Induced by Inner Products and the Parallelogram Law
negative_passages.docid: 42923
negative_passages.text: A Book for abstract Algebra
negative_passages.docid: 123751
negative_passages.text: Restrictions on the use of universal generalization
negative_passages.docid: 158728
negative_passages.text: Using induction for an easy proof for formal languages
negative_passages.docid: 43103
negative_passages.text: Unique factorization domain and principal ideals
negative_passages.docid: 865
negative_passages.text: Generalized RBF Kernels