Faithfulness of Recurrence Plots: A Mathematical Proof.
Yoshito HirataMotomasa KomuroShunsuke HoraiKazuyuki AiharaPublished in: Int. J. Bifurc. Chaos (2015)
Keyphrases
- mathematical proofs
- mathematical knowledge
- automated theorem provers
- expressive power
- theorem prover
- computer algebra
- theorem proving
- causal models
- geometry theorem proving
- machine learning
- mathematical expressions
- digital libraries
- multi agent
- mathematical models
- special case
- pointwise
- linear logic
- search algorithm
- logical rules
- case study
- multimedia
- information systems