Assistant de preuve

Assistant de preuve - logiciel permettant l'écriture et la vérification de preuves mathématiques. L'article "Assistant de preuve" sur Wikipédia en français a 25.7 points pour la qualité (au 1 août 2024). L'article contient 12 références et 8 sections.

Cet article a la meilleure qualité sur Wikipédia en estonien. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

En juillet 2024 l'article "Assistant de preuve" a été édité par 1 auteurs sur Wikipédia en français et écrit par 4 auteurs dans toutes les langues.

Depuis la création de l'article "Assistant de preuve", son contenu a été rédigé par 63 utilisateurs enregistrés de Wikipédia en français et édité par 191 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 185 fois dans Wikipédia en français et cité 486 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (français): n° 2717 en octobre 2004
• Mondial: n° 55595 en octobre 2004

Le classement de popularité le plus élevé depuis 2008:

• Local (français): n° 93078 en avril 2010
• Mondial: n° 312916 en novembre 2017

Il existe 7 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	estonien (et) Tõestusassistent		32.1143
2	anglais (en) Proof assistant		31.9674
3	français (fr) Assistant de preuve		25.7037
4	ukrainien (uk) Асистент доведення теорем		25.2336
5	russe (ru) Инструмент интерактивного доказательства теорем		16.134
6	espagnol (es) Demostración interactiva de teoremas		1.1771
7	polonais (pl) System wspomagający dowodzenie twierdzeń		0.3428

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Assistant de preuve" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		527 472
2	français (fr) Assistant de preuve		65 850
3	polonais (pl) System wspomagający dowodzenie twierdzeń		12 521
4	espagnol (es) Demostración interactiva de teoremas		8 615
5	russe (ru) Инструмент интерактивного доказательства теорем		4 659
6	estonien (et) Tõestusassistent		160
7	ukrainien (uk) Асистент доведення теорем		112

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Assistant de preuve" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		5 635
2	français (fr) Assistant de preuve		237
3	russe (ru) Инструмент интерактивного доказательства теорем		107
4	polonais (pl) System wspomagający dowodzenie twierdzeń		14
5	espagnol (es) Demostración interactiva de teoremas		13
6	ukrainien (uk) Асистент доведення теорем		8
7	estonien (et) Tõestusassistent		3

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Assistant de preuve" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Proof assistant		102
2	français (fr) Assistant de preuve		63
3	polonais (pl) System wspomagający dowodzenie twierdzeń		11
4	russe (ru) Инструмент интерактивного доказательства теорем		5
5	espagnol (es) Demostración interactiva de teoremas		4
6	estonien (et) Tõestusassistent		3
7	ukrainien (uk) Асистент доведення теорем		3

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Assistant de preuve" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	anglais (en) Proof assistant		3
2	français (fr) Assistant de preuve		1
3	espagnol (es) Demostración interactiva de teoremas		0
4	estonien (et) Tõestusassistent		0
5	polonais (pl) System wspomagający dowodzenie twierdzeń		0
6	russe (ru) Инструмент интерактивного доказательства теорем		0
7	ukrainien (uk) Асистент доведення теорем		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Assistant de preuve" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Proof assistant		251
2	français (fr) Assistant de preuve		185
3	espagnol (es) Demostración interactiva de teoremas		20
4	ukrainien (uk) Асистент доведення теорем		13
5	russe (ru) Инструмент интерактивного доказательства теорем		11
6	estonien (et) Tõestusassistent		3
7	polonais (pl) System wspomagający dowodzenie twierdzeń		3

Plus...

#	Langue	Valeur
en	anglais Proof assistant
es	espagnol Demostración interactiva de teoremas
et	estonien Tõestusassistent
fr	français Assistant de preuve
pl	polonais System wspomagający dowodzenie twierdzeń
ru	russe Инструмент интерактивного доказательства теорем
uk	ukrainien Асистент доведення теорем

Meilleur rang

français: n° 93078 04.2010

Mondial: n° 312916 11.2017

Meilleur rang

français: n° 2717 10.2004

Mondial: n° 55595 10.2004

Au 12 novembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Donald Trump, Marco Rubio, Elon Musk, Song Jae-rim, élection présidentielle américaine de 2024, Megan Fox, Melania Trump, Gladiator 2, ChatGPT, décès en 2024.

Sur Wikipédia en français, les articles les plus populaires ce jour-là étaient: Cat's Eyes (série télévisée), Meurtre de Lola Daviet, Elon Musk, Camille Lou, Donald Trump, Affaire Lola, Constance Labbé, Gladiator 2, Attentats du 13 novembre 2015 en France, Signé Cat's Eyes.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information