RISC Institute Hagenberg, Austria;
机译:Thermema中Zermelo-Fraenkel集理论的自动证明者
机译:定理:走向计算机辅助数学理论探索
机译:强相关电子系统理论:来自精确哈密顿方程的Hubbard-Anderson模型,以及在非正交基集中的原子极限附近的微扰理论
机译:定型理论谚语
机译:角集的语义参数调制(逻辑,等式,定理证明)。
机译:多传感器系统的可能性理论内设定了冗余度量
机译:Thermema中Zermelo–Fraenkel集理论的自动证明者
机译:sviluppo e messa a punto di un sistema di prove meccaniche a Fatica per sistemi di Impianti Dentali secondo Indicazioni Delle Normativa Tecnica UNI EN IsO 14801:2008。 (开发和建立牙种植体机械疲劳试验系统)