Nonstandard functional analysis Noncommutative geometry and analysis mathematics