A p-adic approach to automorphic forms on Shimura curves. Computation and applications