A String of Pearls: Proofs of Fermat's Little Theorem.
Hing-Lun ChanMichael NorrishPublished in: CPP (2012)
Keyphrases
- interactive theorem proving
- data structure
- string matching
- theorem proving
- von neumann
- regular expressions
- edit distance
- pattern matching
- decision procedures
- data sets
- theorem prover
- real time
- hamming distance
- genetic algorithm
- proximity graph
- query language
- suffix tree
- social networks
- levenshtein distance
- equational theories