serge burckel

Problème du second voisinage

8.2K vues 119 réponses 0 points Dernier message par depasse March 2022Combinatoire et Graphes

Un algo poly pour l'isomorphisme de graphes

1.8K vues 57 réponses 0 points Dernier message par Dreamer November 2021Combinatoire et Graphes

Logique linéaire

872 vues 20 réponses 0 points Dernier message par marco November 2021Fondements et Logique

Relativité quantique

6.2K vues 22 réponses 0 points Dernier message par serge burckel September 2021Mathématiques et Physique

Problème de l'isomorphisme des graphes

6.8K vues 46 réponses 0 points Dernier message par serge burckel May 2021Fondements et Logique

Opération complète

670 vues 0 réponses 0 points Dernier message par christophe c December 2020Fondements et Logique

Lemme de Higman et Syracuse

5.1K vues 25 réponses 0 points Dernier message par lourrran December 2020Shtam

Une preuve analytique formelle de Syracuse ?

5.7K vues 29 réponses 0 points Dernier message par jean lismonde November 2020Shtam

Approche "analytique" de la conjecture 3x+1

Fermé 572 vues 0 réponses 0 points Créée par serge burckel November 2020 Arithmétique

Allons voir Syracuse

603 vues 0 réponses 0 points Dernier message par serge burckel November 2020Shtam

Ordre automatique pour Syracuse

20.1K vues 127 réponses 0 points Dernier message par serge burckel October 2020Shtam

Système complet de congruences

70 vues 0 réponses 0 points Créée par serge burckel October 2020 Arithmétique

Système complet de congruences

1.1K vues 3 réponses 0 points Dernier message par serge burckel October 2020Shtam

Projet $P\not=NP$

42.8K vues 121 réponses 0 points Dernier message par serge burckel September 2020Fondements et Logique

Une copie svp ?

1.6K vues 3 réponses 0 points Dernier message par serge burckel September 2020Fondements et Logique

Pas de bon ordre sur $\R$ ?

18.4K vues 58 réponses 0 points Dernier message par christophe c August 2020Fondements et Logique

Un système linéaire pour une variante de SAT

1.8K vues 3 réponses 0 points Dernier message par christophe c May 2020Fondements et Logique

P versus NP

28.8K vues 90 réponses 0 points Dernier message par serge burckel February 2020Fondements et Logique

Logique en Maple

1.1K vues 0 réponses 0 points Dernier message par serge burckel February 2020Fondements et Logique

Congruences et Syracuse

1.8K vues 2 réponses 0 points Dernier message par nodgim January 2020Shtam

Une réponse à propos de Collatz

27K vues 83 réponses 0 points Dernier message par Wilfrid January 2020Shtam

Calcul quantique

7.5K vues 27 réponses 0 points Dernier message par serge burckel January 2020Fondements et Logique

Interprétation physique

4.6K vues 17 réponses 0 points Dernier message par christophe c January 2020Fondements et Logique

Recherche d'une structure algébrique

3.1K vues 10 réponses 0 points Dernier message par christophe c January 2020Fondements et Logique

Linéarisation de la logique

4.9K vues 19 réponses 0 points Dernier message par serge burckel January 2020Fondements et Logique

SIGLE

3.7K vues 10 réponses 0 points Dernier message par serge burckel December 2019Vie du Forum et de ses membres

Une approche de la conjecture de Goldbach

2.5K vues 4 réponses 0 points Dernier message par reuns December 2019Shtam

Pour avoir des grands premiers ...

124 vues 0 réponses 0 points Créée par serge burckel November 2019 Arithmétique

Pour avoir des grands premiers ...

1.5K vues 1 réponse 0 points Dernier message par serge burckel November 2019Shtam

Les amis de Bertrand et de Chebyshev.

639 vues 0 réponses 0 points Créée par serge burckel November 2019 Arithmétique

Quelqu'un sait utiliser Coq ?

1.1K vues 0 réponses 0 points Créée par serge burckel November 2019 Logiciels pour les mathématiques

P versus NP

Fermé 866 vues 0 réponses 0 points Créée par serge burckel November 2019 Logiciels pour les mathématiques

serge burckel

À propos…

Discussions

Bonjour!