Coq; Data refinements; Formal proofs; Efficient algorithms and data structures; Parametricity;
机译:MeshFREE方法的一致弱形式:全面实现H-细化,P精炼和强大的基本边界条件执法中的一种细化
机译:自由面流模拟中各向异性网格细化的组合细化准则
机译:无元素Galerkin方法的误差估计和自适应细化第二部分:自适应细化
机译:网格细化的进一步研究:无冲击翼型是否真的无冲击?
机译:无网格方法的有效邻接查询和动态细化及其在显式断裂建模中的应用
机译:电流相关自由能和强制对流对纯铝在电脉冲作用下细化晶粒的作用
机译:通过线性优化实现对独立性和自由度的分析