I know it should be of the form "sudo apt-get install ". But what should be the name of the library? And after installing, how to verify that it has been installed correctly.
You can install gmp using the following command.
sudo apt-get install libgmp3-dev
Also, check out this post.