...
机译:反击Bapat和Sunder问题
机译:一个对Bapat&Sunder问题的反例
机译:Bapat和Sunder导致的不等式的一些应用
机译:Yanagi-Furuichi-Kuriyama提出的关于矩阵不等式的问题的反例及相关反例
机译:自动生成模型和反例,并将其应用于三元布尔代数中的开放问题
机译:破斧:鼓励习惯和安全使用。
机译:使用Bapat动力臂闭合大的上颌中位舒张
机译:由Yanagi–Furuichi–Kuriyama提出的关于矩阵不等式的问题的反例及相关的反例
机译:使用自动定理证明器回答两个开放问题的有限模型和反例的生成和验证