Association Centre de Recherches en Informatique Sans Frontière

Logiciel de comptabilité pour les petites associations fonctionnant directement sur Internet. En cliquant sur l'icône du logiciel à gauche, vous pouvez accéder à une démonstration restreinte en ligne.

Afin d'utiliser le logiciel complet, devenez membre de l'association CRISF en réglant votre cotisation annuelle. Prendre contact avec l'association ci-dessus.

Calculatrices programmables en précision infinie avec base de données totale. Programme disponible sur PC ou bien sur Mac Classic. Calculatrices uniques au monde avec langage de programmation sans typage des données (!), debug en parallèle de l'exécution et base de données totale également en parallèle de la programmation, du debug et de l'exécution ! Tableaux associatifs multidimensionnels, bases quelconques des nombres, etc. Bref une calculatrice exceptionnelle. ! Plus de détails

Logique

Nous pouvons affirmer sans l'ombre d'un doute que le théorème d'incomplétude de Kurt Gödel est une imposture intellectuelle.

Formations ACR

Centre internet de formations et d'exercices pour les formateurs et toute personne désireuse d'apprendre, de la maternelle jusqu'aux plus hautes études de facultés ou d'écoles ainsi que sur n'importe quel sujet en dehors des cursus officiels de formation. Système de formations unique au monde.

Sociétés intéressées par ce logiciel, merci de prendre contact ici

Système et langage ACR

Développement du langage ACR, de l'environnement et du système associé.

Il s'agit d'un système de développement ultramoderne, permettant de développer des programmes sur et pour Internet associé à un langage également ultramoderne et sans aucun typage, en reprenant, et en l'étendant, ce qui avait été fait pour la calculatrice ÆCalculatrice ci-dessus. Tout est en parallèle : la programmation en langage ACR assisté, l'exécution, le debug, la base de données universelle intégrée, le langage ACR incluant les vrais tableaux associatifs multidimensionnels, les bases quelconques des nombres en précision infinie, etc.

Sociétés intéressées par ce projet, merci de prendre contact ici

Calculatrice ACR

Développement d'une calculatrice programmable en précision infinie sur le site.

Sociétés intéressées par ce logiciel, merci de prendre contact ici

Base de données universelle ACR

Développement d'une base de données universelle en C++ accessible directement depuis le site.

Sociétés intéressées par ce logiciel, merci de prendre contact ici

Mathématiques

Développements et recherches sur les nombres de Mersenne et le grand théorème de Fermat.

Le grand théorème de Fermat a été démontré par Andrew Wiles, mais nous recherchons ici une démonstration générale en utilisant une arithmétique simple. La compréhension de la démonstration de Wiles est effectivement réservée à quelques éminents spécialistes du monde et il serait souhaitable d'avoir une démonstration à la portée d'un plus grand nombre. Mais cela est-il possible ?

Nous avons également placé ici un historique sur l'état des connaissances actuelles sur les nombres de Mersenne et quelques pistes de recherches mathématiques.

La calculatrice ACR ci-dessus accessible sur internet pourra servir à la recherche des nombres de Mersenne.