Lazy-expansion symbolic expression approximation in SYNAP | IEEE Conference Publication | IEEE Xplore