Skip to content
Snippets Groups Projects
Select Git revision
  • Subset
  • essais-8.18
  • master default protected
  • pr_no_math-comp
  • released
  • test_skolem_ko
  • PhD_HM_2024
  • 1.0
  • Bochner.1.0
  • Tonelli.1.0
  • LInt_p.1.0
11 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.016Mar151412111098765432128Feb27262524232221201918171615141312111098765432131Jan3029282724232221201918171615141311109821Dec20191817161514131210Cosmetics: tuning expression of types of families of functions.mastermasterNo need for parens.New notations for smaller values.Use new notations for ordinals.Use new notation for ordinals in FEM.Rm obsolete code.Propagate new API (from multi_index).Argument of CSdk is d1 and dimension is d=d1.+1.Notation for [0..n] for [0..n.+1).Add am_isobaryc{,_ms,_Rms}.Add nat_sub_r_monot,WIP: rev_insert_ord.Rm useless.Rename inj_CSdk_incr -> inj_CSdk_monot,Hide unused.Rename grsymlex_scal -> grsymlex_lt_mul.Rename sum_mult -> sum_mul.Generalize insert_ord_inj, insert_ord_neq_compat (n.+2 -> n.+1).Go for higher level (constF, mapF).Some cleaning of unused stuff.Rm useless.Modif node_ref, sub_vtx, sub_node.Rename sub_nodeF -> sub_node_node,WIP: get properties on sub_node from sub_node_ref.Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysisPropagate new API.Put structural parameters as first arguments.MAJ htmlMissing lemma inj_ASdki_incrsome proofs of MM and me about grsymlexArgument K of kron becomes implicit.Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysisFactor proofs of face unisolvence and 1st step of unisolvence.Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysismodifs mineuresFactor proofs of face unisolvence.Modif Hface_{0,S}_unisolvence.Mv stuff around.Cosmetics.Add doc.