As a result, lots of recent work is being done in the algebraic setting (rather than analytic), where the foundations are on much firmer footing.
Being algebraic symplectic is a much stronger condition than analytic symplectic, but is still interesting enough (and, for geometry related to linear algebra problems, as is often relevant in CS, is not a very strong restriction at all.)
Being algebraic symplectic is a much stronger condition than analytic symplectic, but is still interesting enough (and, for geometry related to linear algebra problems, as is often relevant in CS, is not a very strong restriction at all.)