Computer-assisted Mathematics Research Articles