WORKING GROUP 14 Advanced mathematical thinking