机译:102.42缺乏单词的证明:交替的几何系列
University of Las Palmas de Gran Canaria Spain;
alternating; geometrical; series;
机译:102.42缺乏单词的证明:交替的几何系列
机译:102.42缺乏单词的证明:交替的几何系列
机译:104.10等边三角形的交替系列 - 两种证明没有单词
机译:等距组,单词和几何定理的证明
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:二维几何形状及其对应形状词之间的不对称干扰效应
机译:缺勤没有词:几何系列的部分和和总和