Les mathématicien(nes) francophones peuvent s’intéresser à cette introduction à l’analyse non standard.


Users of the Ada programming language needing the Gnu Multiple Precision Arithmetic Library C library may find the following wrapper useful. Each version is signed with my GPG key (62D94D32A99722112F59F7F2B52A9CF4490DFC8D).

Archive Signature
libgmpada-1.0.tar.xz libgmpada-1.0.tar.xz.asc
libgmpada-1.1.tar.xz libgmpada-1.1.tar.xz.asc
libgmpada-1.2.tar.xz libgmpada-1.2.tar.xz.asc