Wolfram 언어™

  • 실제 다항식 시스템의 해집합의 경계, 결합 요소와 기타의 위상적 특성의 계산 »
  • 벡터 및 행렬의 변수를 사용한 대규모 시스템의 자연스럽고 간결한 표현 »
  • 특수 구조를 가진 대규모 연립방정식과 부등식 시스템의 효율적인 해결 »
  • 이전에 다루기 어려웠던 연립방정식 부등식 시스템의 클래스 풀이 »
  • 벡터 및 행렬 변수를 사용한 최적화 문제의 보다 간결하고, 자연스러운 공식화 »
  • 완전 최적화 문제의 새로운 클래스의 풀이 »
  • 덧셈과 곱셈을 수행하거나, 방정식과 부등식을 조합하는 새로운 함수를 사용한 방정식의 단계별 풀이 »
  • 등식 논리의 자동 증명 생성 »
  • 내장된 공리 정리 집합을 사용한 정리의 증명 »
  • 그래프, 데이터 집합, 노트북 등 다양한 형식의 증명 제시 »

관련 예제

관련 기능

기타

버전 12의 새로운 기능

de en es fr ja pt-br zh