enlever tout MathComp
Showing
- FEM/Finite_dim.v 77 additions, 43 deletionsFEM/Finite_dim.v
- FEM/Jacobian.v 2 additions, 22 deletionsFEM/Jacobian.v
- FEM/comb_lin.v 229 additions, 285 deletionsFEM/comb_lin.v
- FEM/finite_element.v 15 additions, 15 deletionsFEM/finite_element.v
- FEM/geometry.v 1 addition, 6 deletionsFEM/geometry.v
- FEM/kronecker.v 75 additions, 94 deletionsFEM/kronecker.v
- FEM/poly_Lagrange.v 43 additions, 50 deletionsFEM/poly_Lagrange.v
Loading
Please register or sign in to comment