A String of Pearls: Proofs of Fermat's Little Theorem.
Hing-Lun ChanMichael NorrishPublished in: J. Formaliz. Reason. (2013)
Keyphrases
- interactive theorem proving
- pattern matching
- data structure
- regular expressions
- string matching
- edit distance
- von neumann
- binary strings
- context free grammars
- variable length
- similarity measure
- data sets
- theorem proving
- database
- suffix tree
- genetic algorithm
- machine learning
- suffix array
- artificial intelligence
- web pages
- string similarity
- formal proofs
- website