21 "Constants [r = (7::real)]", "Maximum A", "AdditionalValues [u, v]", |
21 "Constants [r = (7::real)]", "Maximum A", "AdditionalValues [u, v]", |
22 "Extremum (A = 2 * u * v - u \<up> 2)", |
22 "Extremum (A = 2 * u * v - u \<up> 2)", |
23 "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]", |
23 "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]", |
24 "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]", |
24 "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]", |
25 "SideConditions [(u::real) / 2 = r * sin \<alpha>, 2 / v = r * cos \<alpha>]", |
25 "SideConditions [(u::real) / 2 = r * sin \<alpha>, 2 / v = r * cos \<alpha>]", |
26 (*MethodC model:*) |
26 (*MethodC model:*) |
27 "FunctionVariable a", "FunctionVariable b", "FunctionVariable \<alpha>", |
27 "FunctionVariable a", "FunctionVariable b", "FunctionVariable \<alpha>", |
28 "Domain {0 <..< r}", |
28 "Domain {0 <..< r}", |
29 "Domain {0 <..< r}", |
29 "Domain {0 <..< r}", |
30 "Domain {0 <..< \<pi> / 2}", |
30 "Domain {0 <..< \<pi> / 2}", |
31 "ErrorBound (\<epsilon> = (0::real))" |
31 "ErrorBound (\<epsilon> = (0::real))" |