[Q] symbolic computation in Android: help with big libraries

---

Hi all,
I recently developed an application to do symbolic computation (some thing like Mathematica) by cross-compiling and including existing open source software.
The problem now is that, the software is too big due to big libraries required for computations and displaying equations. I was wondering which one is best way to deal with it.

a) The app downloading libraries from internet
b) Each library will be having an installation apk which will extract its content to mobile
c) Make the app real fat (around 14MB)

The problem with option c is that the updates become quite big too.

So, which one is best option? a or b

BTW, if you are wondering what app I am talking about, you can search for "MathScript" in android market.

For now it used option a.

Use option a.

Option a.
Others people might think its a virus or something if apk is like 14 MB

The software is now designed to download the libraries from internet.
Thanks for your suggestions.