MAIN - Mathematical heritage of Al Farabi