It is used as a type system for code generation and high performance calculation with discrete differential goemetry sub algebras. More information is at https:

It is used as a type system for code generation and high performance calculation with discrete differential goemetry sub algebras. More information is at https://grassmann.crucialflow.com https://grassmann.crucialflow.com or also at https://bivector.net https://bivector.net