2021-04-30から1日間の記事一覧
Kahan’s ellipse problem (SIGSAM Bulletin, 9, 11, 1975) 楕円周が単位開円板に含まれるための条件a^2>0 ∧ b^2>0 ∧ ∀x∀y({(x-c)^2}/{a^2}+{(y-d)^2}/{b^2}=1 → x^2+y^2<1) を a^2,b^2,c^2,d^2 についての多項式による不等式の連言で表すには少なくと…
Kahan’s ellipse problem (SIGSAM Bulletin, 9, 11, 1975) 楕円周が単位開円板に含まれるための条件a^2>0 ∧ b^2>0 ∧ ∀x∀y({(x-c)^2}/{a^2}+{(y-d)^2}/{b^2}=1 → x^2+y^2<1) を a^2,b^2,c^2,d^2 についての多項式による不等式の連言で表すには少なくと…