Wolfram Language™

  • Calculez les frontières, les composantes connectées et les autres propriétés topologiques des ensembles de solutions pour les systèmes polynomiaux réels. »
  • Exprimez de larges systèmes de façon naturelle et succincte en utilisant des variables vectorielles et matricielles. »
  • Résolvez efficacement de larges systèmes d'équations et d'inégalités avec une structure spéciale. »
  • Résolvez les classes de systèmes d'équations et d'inégalités auparavant insolubles. »
  • Formulez les problèmes d'optimisation de manière plus concise et plus naturelle en utilisant des variables vectorielles et matricielles. »
  • Résolvez de nouvelles classes de problèmes d'optimisation exacte. »
  • Résolvez les équations "étape par étape" en utilisant de nouvelles fonctions pour ajouter, multiplier et combiner les équations et les inégalités. »
  • Produisez des preuves automatiques de théorèmes de logique équationnelle. »
  • Prouvez les théorèmes en utilisant une collection intégrée de théories axiomatiques. »
  • Présentez des épreuves sous divers formats, y compris des graphes, des jeux de données et des notebooks. »

Exemples connexes

Fonctions connexes

Guides connexes

Voir aussi les nouveautés de la version 12

de en es ja ko pt-br zh