# Connes integration formula for the noncommutative plane

## TL;DR

This paper proves the Connes integration formula for the noncommutative Moyal plane, establishing a way to integrate functions using singular traces in noncommutative geometry.

## Contribution

It extends Connes' integration formula to the noncommutative Moyal plane, providing a new tool for analysis in noncommutative geometry.

## Key findings

- Established the Connes integration formula for the noncommutative plane
- Demonstrated the use of singular traces in noncommutative integration
- Provided a framework for future analysis on noncommutative spaces

## Abstract

Our aim is to prove the integration formula on the noncommutative (Moyal) plane in terms of singular traces {\it a la} Connes.