Aller au contenu
ComparateurEdTech

Edukera

Édité par Edukera · Paris, France · depuis 2015

Startup française d'apprentissage de la démonstration mathématique par preuve formelle.

STEM, code & robotiqueDémonstration mathématique formelle
Visiter le site

Version gratuite

Limitée

Essai ou démo

Démo sur demande

Open source

Non

API publique

Via partenaires

Présentation

Edukera en détail

Edukera propose un environnement où l'étudiant construit des démonstrations mathématiques vérifiées automatiquement, en s'appuyant sur des assistants de preuve formelle. Positionnement très pointu à destination du supérieur scientifique.

Ce que fait l’outil

Fonctionnalités clés

  • Construction de démonstrations
  • Vérification formelle
  • Exercices progressifs
  • Suivi enseignant
Écosystème

Intégrations

  • LMS
  • API
Sécurité et normes

Conformité et standards

  • RGPD
  • hébergement en France
Budget

Tarification

Modèle
Licence établissement
Prix indicatif
Sur devis

Tarifs collectés à titre indicatif et susceptibles d'évoluer. Vérifiez auprès de l'éditeur avant toute décision d'achat.

Comparer

Alternatives à Edukera

  • GeoGebra

    GeoGebra (BYJU'S)

    Logiciel de mathématiques dynamiques gratuit, utilisé par des dizaines de millions d'élèves et d'enseignants.

    STEM, code & robotiqueGratuit

  • Scratch

    Scratch Foundation / MIT Media Lab

    Le langage de programmation visuelle par blocs le plus utilisé au monde pour initier les enfants au code.

    STEM, code & robotiqueGratuitOpen source

  • Hack The Box

    Hack The Box

    Plateforme d'entraînement à la cybersécurité par la pratique, référence mondiale du hacking éthique.

    STEM, code & robotiqueGratuit4.7

  • Code.org

    Code.org

    Association américaine à l'origine de l'Hour of Code, référence mondiale de l'enseignement de l'informatique.

    STEM, code & robotiqueGratuitOpen source

  • Vittascience

    Vittascience

    Plateforme française open source de programmation et d'expérimentation scientifique pour l'enseignement.

    STEM, code & robotiqueGratuitOpen sourceFrance

  • Cabri

    Cabrilog

    Logiciel français historique de géométrie dynamique, né de la recherche grenobloise.

    STEM, code & robotiqueGratuitFrance
Duels

Comparaisons face à face

FAQ

Questions fréquentes sur Edukera

Qu’est-ce que Edukera ?

Startup française d'apprentissage de la démonstration mathématique par preuve formelle. Edukera propose un environnement où l'étudiant construit des démonstrations mathématiques vérifiées automatiquement, en s'appuyant sur des assistants de preuve formelle. Positionnement très pointu à destination du supérieur scientifique.

À qui s’adresse Edukera ?

Edukera cible enseignement supérieur. La solution se vend en B2B. Zone commerciale : France.

Edukera est-il gratuit ?

Edukera propose une version gratuite limitée. Démo sur demande est proposé.

Combien coûte Edukera ?

Edukera fonctionne sur le modèle suivant : Licence établissement. Prix indicatif : Sur devis. Ces montants sont indicatifs et doivent être confirmés auprès de l’éditeur.

Edukera est-il open source ?

Non, Edukera est une solution propriétaire.

Edukera est-il conforme au RGPD ?

Edukera déclare les conformités et standards suivants : RGPD, hébergement en France. Les données sont hébergées en France. Vérifiez le périmètre exact auprès de l’éditeur avant contractualisation.

Avec quels outils Edukera s’intègre-t-il ?

Edukera annonce des intégrations avec LMS et API.

Quelles sont les alternatives à Edukera ?

Les principales alternatives à Edukera référencées dans notre comparateur sont GeoGebra, Scratch, Hack The Box, Code.org et Vittascience. Elles opèrent sur la catégorie STEM, code & robotique.

Contexte

Comprendre la catégorie STEM, code & robotique

Ces outils enseignent les sciences, la programmation et la technologie : programmation visuelle par blocs pour les plus jeunes, environnements de code et de calcul formel dans le supérieur, laboratoires virtuels et cartes programmables.

Voir les 16 solutions de cette catégorie et les critères de choix détaillés.