Community research

Research topics

Research areas, working arrangements, related projects, and participation details.

Formalization

Formal definitions, statements, and proofs: specification, verification, and collaboration.

Paper readings, talks, and discussions on mathematical questions in artificial intelligence.

Mathematics courses, learning materials, exercises, and records of teaching practice.

Mathematical modeling, computational methods, and experimental validation for practical problems.