ProjectOverview • 343

real domain polar deals/implicit function theorem/level sets
implicit diff/tangent line/EX
loc xyz-extremum
local xy extremum
coordinate SIF
Lagrange multiplier
1-Extrema/Rolle
2-Extremsatz
Global Extremum