Anneaux, corps & groupes EN FORMEL

[invite77cb354b]

Bonjour au Forum !

Savez-vous s'il existe un logiciel de mathématique formelle, si possible gratuit sur internet, sur une page web,
qui prend en charge les anneaux, les corps, les groupes ?
-----

[pm42]

Tu as essayé WolframAlpha ?
Sinon, tu veux faire quoi formellement sur ce genre de structure ? Ce n'est pas ce qui s'y prête le plus.

[invite77cb354b]

Là je suis sur https://www.wolframalpha.com/
Ensuite, dans quelle rubrique dois-je aller ? Peut-on mettre cette page web en français ou je dois me contenter de l'anglais ?


Je veux juste voir fonctionner un logiciel informatique qui traite ces structures.

[ThM55]

Bonjour. J'aime bien faire la promotion de Maxima, un logiciel entièrement gratuit distribué sous licence GNU GPL. Deux liens:

https://fr.wikipedia.org/wiki/Maxima_(logiciel)

http://maxima.sourceforge.net/

Il y a un manuel de plus de 1000 pages, mais il n'existe pas en français (je pense toutefois qu'il doit être possible d'en trouver une traduction en dehors du site officiel). Je ne sais pas si cela répond à la question, mais Maxima contient un package appelé sym qui traite des groupes de symétrie de polynômes. Il permet par exemple de calculer un groupe de Galois et d'autres choses en rapport avec la théorie de Galois. En outre, il contient un langage de programmation (un peu comme Wolfram alpha) qui permet de créer de nouvelles fonctions. Tout dépend de ce que vous voulez faire concrètement, mais pm42 vous a déjà posé cette question.

[A voir en vidéo sur Futura]