Pomocí CA (Computer Algebra) systému Maple, lze (polo)automaticky odvozovat vzorečky:Odvození rovnic kubického splajnu; skriptum (3.19), (3.22), (3.27), (3.29) : pdf sešit Maple
Odvozování vzorců