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.
11 Answer
You can install gmp using the following command.
sudo apt-get install libgmp3-devAlso, check out this post.
3