Инновации в математическом обеспечении для САПР