hivert

Professor in computer science in University Paris-Saclay / Orsay.

University Paris-Sud Orsay Paris-Saclay / LRI / CNRSOrsay / South of Paris / France

Pinned Repositories

analysis
Mathematical Components compliant Analysis Library
Language:Coq1 2 00
CombiFIIL
Language:TeX5 4 33
Coq-HookLength
Language:Coq2 5 00
FormalPowerSeries
Formal power series in mathomp
Language:Coq3 4 02
IVMPG
integer vectors modulo the action of a permutation group
Language:C++2 4 00
libsemigroups
C++ library for semigroups and monoids
Language:C++1 5 00
math-comp
Mathematical Components
Language:Coq2 4 00
NumericMonoid
Computing the number of Numerical Monoid of a Given Genus
Language:Python2 4 13
HPCombi
Fast combinatorics in C++ using SSE/AVX instruction sets
Language:C++14 8 277
Coq-Combi
Algebraic Combinatorics in Coq
Language:Coq34 12 57

hivert's Repositories

hivert/CombiFIIL
Language:TeX5 4 33
hivert/FormalPowerSeries
Formal power series in mathomp
Language:Coq3 4 02
hivert/Coq-HookLength
Language:Coq2 5 00
hivert/IVMPG
integer vectors modulo the action of a permutation group
Language:C++2 4 00
hivert/math-comp
Mathematical Components
Language:Coq2 4 00
hivert/NumericMonoid
Computing the number of Numerical Monoid of a Given Genus
Language:Python2 4 13
hivert/analysis
Mathematical Components compliant Analysis Library
Language:Coq1 2 00
hivert/Cilk-Experiment
Experiment using cilk
Language:C++1 3 0
hivert/Cilk-GWTree
A primite Galton-Watson tree implementation using cilk
Language:C++1 3 0
hivert/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml1 3 0
hivert/libsemigroups
C++ library for semigroups and monoids
Language:C++1 5 00
hivert/newtonsums
Newton series transformation
Language:Coq1 2 0
hivert/CFA-L3-Demo
Demonstration du cours d'algorithmiques de Licence 3 en apprentissage
Language:Jupyter Notebook3 0
hivert/Coq-Combi
Algebraic Combinatorics in Coq
Language:Coq1 0
hivert/Coqxeter
Coxeter groups in Coq/Mathcomp
Language:Coq2 0
hivert/CutCode
Cut a code into section for inclusion into a Latex files
Language:Python4 0
hivert/DLX-CPP
C++ implementation of Knuth dancing links
Language:C++3 0
hivert/finmap
Finset and finmap library
Language:Coq3 0
hivert/GTQuivers
Groupe de travail sur les Carquois
Language:Jupyter Notebook9 0
hivert/hivert.github.io
2 0
hivert/Jupyter-Notebooks
Language:Jupyter Notebook3 0
hivert/libsemigroups_cppyy
Python package for using the C++ library libsemigroups via cppyy
Language:Python2 0
hivert/math-comp.github.io
https://math-comp.github.io/
Language:HTML1 0
hivert/multinomials
Multinomials for Ssreflect
Language:Coq3 0
hivert/Permutohedron
Generation of permutohedron of order n in Ocaml and C++
Language:C++3 0
hivert/sage
Main repository of SageMath
hivert/SageWidgetExper
Experiments with SageWidgets
Language:Python5 0
hivert/ufoai
UFO:Alien Invasion
Language:C2 0