Wolfram Language

  • Calcule el límite, los componentes conectados y otras propiedades topológicas de conjuntos de soluciones para sistemas polinomios reales. »
  • Exprese grandes sistemas de forma natural o sucinta usando las variables de vector y matriz. »
  • Resuelta de forma eficiente grandes sistemas de ecuaciones y desigualdades con estructura especial. »
  • Resuelva clases de sistemas de ecuaciones y desigualdades previamente intratables. »
  • Formule problemas de optimización de una forma más concisa y natural usando variables de matriz. »
  • Resuelva nuevas clases de problemas exactos de optimización. »
  • Resuelva ecuaciones "paso a paso" usando nuevas funciones para agregar, multiplicar y combinar ecuaciones y desigualdades. »
  • Cree pruebas automáticas de teoremas de lógica equitativa. »
  • Demuestre teoremas usando una colección de teorías axiomáticas incorporadas. »
  • Presente pruebas en varios formatos, incluyendo grafos, conjuntos de datos y cuadernos. »

Ejemplos relacionados

Funciones relacionadas

Guías relacionadas

Ver también lo nuevo en 12

de en fr ja ko pt-br zh