The reverse mathematics of non-decreasing subsequences.
Ludovic PateyPublished in: Arch. Math. Log. (2017)
Keyphrases
- computer science
- computer algebra
- data sets
- computer assisted learning
- real time
- variable length
- dynamic time warping
- multi agent systems
- multi agent
- three dimensional
- knowledge base
- artificial intelligence
- learning algorithm
- computer assisted instruction
- middle school students
- information retrieval
- database
- mathematics education
- real valued time series