...
机译:Krattenthaler公式的简短证明
Operator; Inverse relation; q-analogue; Lagrange interpolation.;
机译:Ciucu和Krattenthaler的两个猜想的证明,带有切角的六边形菱形平铺枚举
机译:Rademacher的分区公式的简短证明
机译:一些对称量化布尔公式的简短证明
机译:尖峰维格纳模型中的估计:复制公式的简短证明
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:遗传编程...公式...证明搜索...公式...自动改进
机译:3 CIUCU和KRaTTENTHaLER的两个结构证明对切割角落的六角形的倾斜度的评定