Les méthodes symboliques de traitement des systèmes multicorps présentent des avantages notables par rapport aux méthodes numériques. Dans ce travail, nous présentons un outil de traitement symbolique des systèmes multicorps que nous avons réalisé. Il fait appel à une modélisation automatisée basée sur un jeu de questions intelligentes qui limite les risques d'erreur. Les équations de mouvement produites se présentent sous une forme lisible. Un tel résultat a été rendu possible grâce à un moteur symbolique évolué basé sur la librairie SymbolicC++ et adapté pour le formalisme multicorps adopté. La disponibilité des équations sous une forme naturelle nous a permis d'entreprendre une validation directe des résultats en comparant ces derniers à ceux fournis par les méthodes analytiques de la dynamique des solides. Un module de résolution numérique des équations de mouvement a été réalisé pour la vérification des résultats des systèmes complexes. Une telle vérification a été effectuée par rapport à un logiciel numérique commercial populaire. Des tests ont été entrepris avec succès au travers de divers projets d'intérêt académique.