Search for Liouvillian solutions of linear recurrence equations in the MAPLE computer algebra system.
Denis E. KhmelnovPublished in: Program. Comput. Softw. (2008)
Keyphrases
- computer algebra
- computer algebra systems
- search algorithm
- solution space
- linear systems
- search space
- search methods
- search strategy
- polynomial equations
- information seeking
- genetic search
- theorem prover
- closed form solutions
- neural network
- optimal solution
- search efficiency
- finite difference
- boundary value problem
- differential equations