hivert Goto Github PK

analysis

Mathematical Components compliant Analysis Library

cfa-l3-demo

Demonstration du cours d'algorithmiques de Licence 3 en apprentissage

cilk-experiment

Experiment using cilk

cilk-gwtree

A primite Galton-Watson tree implementation using cilk

combifiil

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.

coq-combi

Algebraic Combinatorics in Coq

coq-hooklength

coqxeter

Coxeter groups in Coq/Mathcomp

cutcode

Cut a code into section for inclusion into a Latex files

dlx-cpp

C++ implementation of Knuth dancing links

finmap

Finset and finmap library

formalpowerseries

Formal power series in mathomp

gtquivers

Groupe de travail sur les Carquois

hivert.github.io

ivmpg

integer vectors modulo the action of a permutation group

jupyter-notebooks

libsemigroups

C++ library for semigroups and monoids

libsemigroups_cppyy

Python package for using the C++ library libsemigroups via cppyy

math-comp

Mathematical Components

math-comp.github.io

https://math-comp.github.io/

multinomials

Multinomials for Ssreflect

newtonsums

Newton series transformation

numericmonoid

Computing the number of Numerical Monoid of a Given Genus

permutohedron

Generation of permutohedron of order n in Ocaml and C++

sagewidgetexper

Experiments with SageWidgets

ufoai

UFO:Alien Invasion