Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • Subset
  • essais-8.18
  • master default protected
  • no_ms
  • pr_no_math-comp
  • released
  • test_skolem_ko
  • PhD_HM_2024
  • 1.0
  • Bochner.1.0
  • Tonelli.1.0
  • LInt_p.1.0
12 results
Created with Raphaël 2.2.030Nov28252322212017161514111094331Oct2827252120191817161312109876543229Sep2826222120191716141397652131Aug302310Jul874130Jun292827242322212017161514131098732130May252423201918171614131211109654329Apr28qq admits de moins + renommage H + pb lemme dual_basis_is_linear_mappingCan not rewrite T_geom_inv_comp.Prove theta_cur_Def1 lemma differently.déplacer des lemmesAdd theta_cur_Def1 and theta_cur_Def2 lemmas.Add LagP1_inj lemmaRename FE_essai.v as FE_simplex.vPreuve is_shape_fun_local_uniqueAdd new lemmas.WIP : work on LagP1 & LagQ1.Put an idea of proof of the lemma "is_shape_fun_local_unique" in comment.One-day work!Add ideas.Mv is_linear_mapping_pt_value here.Add cast_ord_equiv and comb_lin_ext_gen.Have two seperate sections for Simplex and Quad like.Réunion 23 novembre 2022Add P_approx_minus lemma.Add minus_diag_uniq_sym lemma.Put nvtx as an Implicit argument & patch the proofs.Prove kronecker_pred_eq lemma.cght mineurpr_no_math-comppr_no_math-compnotation [0..n[Work on the proofs of theta_cur_correct, theta_cur_correct_inv & LagPQ_is_non_neg.Add T_geom_inv_transports_vtx and T_geom_inv_transports_convex (with proof).Mv lemma to prove in kronecker.Maj to 8.16.0Switch \big to comb_lin & work on the proof of LagP1_kron lemma.Renomage 'I_n -> 'J_n + travail sur conversion avec MCpetites modifs mergemerge branch pr_compat_816natlt dans projectaprès 15 novenlever tout MathComppoly_Lagrange.vfusion proubli commitmatch avec récup de la preuve d'égalitéRéunion 9 novembre 2022 (suite)Réunion 9 novembre 2022