Pullback Differential Form

A Differentialform Pullback Programming Language for Higherorder

Pullback Differential Form. Web the aim of the pullback is to define a form $\alpha^*\omega\in\omega^1(m)$ from a form $\omega\in\omega^1(n)$.

A Differentialform Pullback Programming Language for Higherorder
A Differentialform Pullback Programming Language for Higherorder

Web the aim of the pullback is to define a form $\alpha^*\omega\in\omega^1(m)$ from a form $\omega\in\omega^1(n)$.

Web the aim of the pullback is to define a form $\alpha^*\omega\in\omega^1(m)$ from a form $\omega\in\omega^1(n)$. Web the aim of the pullback is to define a form $\alpha^*\omega\in\omega^1(m)$ from a form $\omega\in\omega^1(n)$.