P
Initializing...
Rational scaling preserves an A3X Taylor-model enclosure · Prove2Me