The Many Proofs and Applications of Perron's Theorem.
Charles R. MacCluerPublished in: SIAM Rev. (2000)
Keyphrases
- interactive theorem proving
- theorem prover
- equational theories
- neural network
- decision procedures
- knowledge base
- artificial intelligence
- information systems
- social networks
- expert systems
- wireless sensor networks
- probabilistic model
- theorem proving
- information retrieval
- natural deduction
- formal proofs
- data mining
- mathematical proofs
- database