Mathematical Knowledge, Objects and Applications