University of Innsbruck, Innsbruck, Austria;
University of Innsbruck, Innsbruck, Austria;
University of Innsbruck, Innsbruck, Austria;
University of Innsbruck, Innsbruck, Austria;
Homogeneous linear diophantine equations Code generation; Mechanized mathematics; Verified code Isabelle/HOL;
机译:求解线性二啡PH烷方程和不等式时避免使用松弛变量
机译:线性齐次双色阶方程的参数解
机译:关于线性齐次二阶方程的一个注记
机译:用于均匀线性衍生线方程的正式验证求解器
机译:用小阶方程求解4阶齐次线性微分方程。
机译:用线性衍生线方程对决策树规则的平行隐藏
机译:一类可解决的二次Diophantine方程及其在验证无限状态系统中的应用