Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof Mining Approach.
Fernando FerreiraPublished in: Bull. Symb. Log. (2020)
Keyphrases
- lower bound
- theoretical framework
- text mining
- upper bound
- databases
- theorem prover
- theoretical basis
- large deviations
- database
- data mining
- algebraic structure
- worst case
- neural network
- frequent patterns
- error bounds
- linear logic
- computer algebra
- mining algorithm
- web mining
- index structure
- knowledge discovery
- decision trees
- website
- knowledge base