A New q-Hypergeometric Symbolic Calculus in the Spirit of Horn, Borngässer, Debiard and Gaveau.
Thomas ErnstPublished in: Axioms (2022)
Keyphrases
- np hard
- symbolic reasoning
- horn theories
- propositional logic
- symbolic representation
- symbolic description
- high level
- automated deduction
- formal language
- real time
- chi squared
- symbolic data
- information systems
- proof procedure
- optimal solution
- connectionist models
- database systems
- computer algebra
- learning algorithm
- machine learning
- database
- connectionist systems