• Je suis français, ingénieur Logiciel R&D.

• J'habite en région parisienne à Élancourt dans les Yvelines, France.

• Je suis particulièrement passionné par la grande et la petite histoire des Mathématiques, les Mathématiques appliquées, l'Algorithmique, les Grands Nombres, les nombres ${\displaystyle e\,}$, ${\displaystyle -1\,}$, ${\displaystyle i\,}$, ${\displaystyle \pi \,}$ et ${\displaystyle \varphi \,}$, la Physique, la langue française avec sa richesse et ses subtilités et les Technologies de l'information.

• Je suis un fervent partisan du partage de l'information sous quelle que forme que ce soit.
• Site web personnel avec notamment un Calculateur Formel de Polynômes écrit en langage Rust.

• Erdös et son Nombre
• Hardy et Ramanujan
• Euler et son Identité
• Ulam et sa Spirale
• Résolution de l'équation de Pell
• C++11 car très en retard par rapport à mon expérience quotidienne...
• ...
• Dernières contributions

• Intégrales de Wallis et leur lien avec la formule de Stirling
• Constante de Catalan
• Carré magique

• Ronald Graham (ami et collaborateur très proche de Erdös, mathématicien aux Laboratoires AT&T Bell, son Nombre Record, etc.)
• Frank Ramsey et la Théorie de Ramsey

Etude et application des 2 articles suivants en vue de compléter les pages Distance et Compression de données (cf. leur page de discussion) :

• http://homepages.cwi.nl/~paulv/papers/SimilarityV3.pdf
• http://homepages.cwi.nl/~paulv/papers/cluster.pdf

Dans l'article en français, la formule de la distance n'est pas symétrique alors qu'il me semble que l'on peut la rendre symétrique (car c(AB) est différent de c(BA) pour des compresseurs non parfaits comme gzip) par le changement, trop simple peut être, de "c(A) + c(B) - c(AB)" par "c(A) + c(B) - max[c(AB), c(BA)]" .

Sauf erreur de ma part, c'est toujours une distance car cela revient à ajouter à la définition d'origine (qui a été par ailleurs, démontrée comme une distance pour des compresseurs parfaits), le terme positif ou nul égal à "{ max[c(AB), c(BA)] - c(AB) } / max[c(A), c(B)] "

${\displaystyle 4^{N}\cdot \prod _{n=1}^{N}\left(\cos ^{2}({\frac {n\pi }{2N+1)))+{\frac {1}{4))\right)=F(2N+1)}$ (F(N) étant tout simplement le Nième nombre de Fibonacci - cf. Bestiaire de formules)

${\displaystyle 4^{N\cdot P}\cdot \prod _{n=1}^{N}\prod _{p=1}^{P}\left(\cos ^{2}({\frac {n\pi }{2N+1)))+\cos ^{2}({\frac {p\pi }{2P+1)))\right)}$ prend ses valeurs parmi les nombres entiers. Pour cause, ces valeurs sont les nombres de façons différentes de paver un rectangle 2N x 2P par un domino 2 x 1.

Forme ascendante d'une fraction continue,

${\displaystyle x={\frac {\displaystyle 1+{\frac {\displaystyle 1+{\frac {\displaystyle 1+\cdots }{\displaystyle a_{3)))){\displaystyle a_{2)))){\displaystyle a_{1))))$ qui est égale à :

${\displaystyle {\frac {1}{a_{1))}+{\frac {1}{a_{1}a_{2))}+{\frac {1}{a_{1}a_{2}a_{3))}+\cdots }$ correspondant au développement en série de Engel.

Exemple d'une série hypergéométrique :

${\displaystyle 1\ -1!+2!-3!+4!-5!+\cdots }$

Sa résolution consiste à remarquer que la série

${\displaystyle y=x-1!\cdot x^{2}+2!\cdot x^{3}-3!\cdot x^{4}+4!\cdot x^{5}-5!\cdot x^{6}+\cdots }$

est formellement une solution de l'équation différentielle d'Euler :

${\displaystyle x^{2}\cdot y'+y=x\,}$

Une solution s'exprime à l'aide de ${\displaystyle \ I(x)}$, l'intégrale de la fonction ${\displaystyle \ e^{\frac {-t}{x))/(1+t)}$ pour t entre 0 et l'infini.

Euler proposa cette intégrale comme somme de la série

${\displaystyle y=x-1!\cdot x^{2}+2!\cdot x^{3}-3!\cdot x^{4}+4!\cdot x^{5}-5!\cdot x^{6}+\cdots }$

et le nombre ${\displaystyle \ I(1)}$ pour celle de l'hypergéométrique.

Méthode générale pour représenter en un nombre surréel le nombre dyadique ${\displaystyle {\frac {N}{2^{p))}=\left\((\frac {N-1}{2^{p))}|{\frac {N+1}{2^{p))}\right\))$ avec ${\displaystyle N}$ impair et ${\displaystyle p}$ entier ${\displaystyle \geqslant 1}$ .

Il découle de cette démonstration les relations suivantes :

Les nombres surréels ${\displaystyle \left\{L|R\right\))$ avec ${\displaystyle L}$ et ${\displaystyle R}$ non vides sont les nombres dyadiques égaux à ${\displaystyle {\frac ((L}+{R)){2))}$ . Les nombres ${\displaystyle L}$ et ${\displaystyle R}$ étant également des nombres dyadiques.

Tous les nombres dyadiques de la forme ${\displaystyle {\frac {2n-3}{2))}$ avec ${\displaystyle n\geqslant 2}$ sont représentés par les nombres surréels ${\displaystyle \left\{(n-2)|(n-1)\right\))$

Tous les nombres dyadiques de la forme ${\displaystyle {\frac {1}{2^{p))))$ avec ${\displaystyle p\geqslant 1}$ sont représentés par les nombres surréels ${\displaystyle \left\{0|{\frac {1}{2^{p-1))}\right\))$

Tous les nombres dyadiques de la forme ${\displaystyle {\frac {2^{p}-1}{2^{p))))$ avec ${\displaystyle p\geqslant 1}$ sont représentés par les nombres surréels ${\displaystyle \left\((\frac {2^{p-1}-1}{2^{p-1))}|1\right\))$

Extrait de code Latex de Desmos

${\displaystyle x_{200}=R_{2}\cdot s_{2}\cdot \cos \left(\arctan \left({\frac {y_{21}-y_{20)){x_{21}-x_{20))}\right)\right)+{\frac {D}{2))}$

${\displaystyle y=-{\sqrt {L^{2}-\left(x-{\frac {D}{2))\right)^{2))))$

Exemple qui réalise l'extraction d'un nom de fichier à l'image de la commande basename :

auto basename([] (const std::string &str) {  // Spécification du retour explicite '-> const char *' inutile
    size_t pos = str.find_last_of("/\\");    // Séparateurs pour Linux et Windows
    const char *start = str.c_str();
    return pos != std::string::npos ? start + pos + 1 : start;
});

std::cout << "[" << str << "] -> [" << basename(str) << "]\n";  // Utilisation

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.