Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Affine n-dimensional transformations ?

view this post on Zulip Email Gateway (Oct 19 2022 at 08:42):

From: Burkhart Wolff <wolff@lri.fr>
Dear Isabelle-Users,

Does somewhere exist a theory development for
Affine n-dimensional transformations ?

Any kind of hint is appreciated.

Burkhart

view this post on Zulip Email Gateway (Oct 19 2022 at 08:53):

From: Manuel Eberl <manuel@pruvisto.org>
What exactly do you need? I don't think we have the notion of "affine"
map as such, but we have linear maps of course, and an affine map is
just a combination of a linear map and a translation.

And we do have some results e.g. about how the Borel measure of a set
changes under an affine map.

Manuel

Last updated: Jan 04 2025 at 20:18 UTC