GratuitSlides
Diaporama avec trame narrative et minutage
- 499499 téléchargements
- 205205 mentions J'aime
- 225225 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 démontrer des propriétés d'anneaux et d'idéaux
Nouveau
Gratuit
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install abstract-algebra-rings-proofsSans 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 vérifie les axiomes d'anneau, les propriétés comme la commutativité, l'unité ou l'intégrité, puis les idéaux, avec des contrôles Z3 et des calculs SymPy. Vous obtenez une démonstration vérifiable.
Choisie surtout par
Mise à jour le 2 novembre 2026
Vous dites
« Montre que l'ensemble des entiers pairs est un idéal de Z. »

Skill publiée par parcadei sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.
Référencée sans modification
« rings » (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…