Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with lie-groups
Search options not deleted
user 109743
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
4
votes
Is Zariski closure of finitely generated matrix semigroup computable?
This problem has been solved (the answer is 'yes') in the paper "Polynomial Invariants for Affine Programs", by Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, and James Worrell, published in the Procee …
- 163
10
votes
1
answer
350
views
Is Zariski closure of finitely generated matrix semigroup computable?
In general, can the Zariski closure of the semigroup of matrices $\langle M_1, \ldots, M_k \rangle$ be algorithmically computed (at least in theory)?
For this purpose I'm happy to assume the matrice …
- 163