A Java implementation of a computer algebra system (CAS) for symbolic determinant computation of parameterized tridiagonal-like matrices. The system constructs exact algebraic expressions, performs ...

- find successors and predecessors using BST (both list will be sorted); in the end, we can easily get top k from the two sorted list - with BST: **inorder traversal gives us sorted predecessors - ...