activity
20202023
most citedGeneralized Witt and Witt n-algebras, Virasoro algebras and constraints, and KdV equations from R(p,q)-deformed quantum algebras

5 citations · 7 across the 7 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2023

Constructive semigroups with apartness -- a state of the art

Melanija Mitrovic, Mahouton Norbert Hounkonnou, Paula Catarino

This chapter aims to provide a clear and understandable picture of constructive semigroups with apartness in Bishop's style of constructive mathematics, BISH. Our theory is partly…