MQL: A Mathematical Formula Query Language for Mathematical Search.
Wei GuoWei SuLian LiNing AnLinwei CuiPublished in: CSE (2011)
Keyphrases
- mathematical formulas
- query language
- mathematical expressions
- search algorithm
- data model
- search strategy
- search queries
- search strategies
- object oriented
- search methods
- search tools
- search space
- search efficiency
- exhaustive search
- complex objects
- prior art
- relational algebra
- regular expressions
- database
- expressive power
- user queries
- keywords
- information systems
- real time