Robuta

https://eudml.org/doc/89813 EuDML | Algorithmic orbit classification for some Borel group actions for someborel groupalgorithmicorbitclassification