GratuitSkills
Création d'un wiki de connaissances
- 418418 téléchargements
- 129129 mentions J'aime
- 161161 sauvegardes
- Claude Code
- Codex
- Cursor
- et 3 autres
Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres
Utilisez cette ressource pour vérifier la complétude d'un espace normé et appliquer les théorèmes de Banach
Nouveau
Gratuit
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install banach-space-theoremsSans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.
Première fois : connectez la CLI avec
npx --yes palatekit@latest loginL'agent suit un arbre de décision : il contrôle d'abord que l'espace est complet, puis choisit le théorème pertinent (Hahn-Banach, application ouverte, graphe fermé). Il appuie chaque étape par des commandes de vérification Z3 ou SymPy. Vous obtenez une démarche justifiée pour votre exercice ou votre preuve.
Choisie surtout par
Mise à jour le 2 novembre 2026
Vous dites
« Un opérateur linéaire borné surjectif entre deux espaces de Banach a-t-il un inverse borné ? »

Skill publiée par parcadei sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.
Référencée sans modification
« banach-spaces » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
–
Aucune note pour l'instant
Chargement des avis…