search

affeldt-aist / coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp
26 stars 2 forks source link

Addition in dual numbers #9

Closed thery closed 3 years ago

thery commented 3 years ago

a +eps* b notation commutative property Taylor series -> derivative of polynomial