버전 12는 다양한 새로운 클래스의 연립방정식 및 부등식 시스템을 풀기 위한 기능을 제공합니다. 여기에서는 그러한 클래스의 일부를 제시합니다.
무리수 계수를 가진 디오판토스(Diophantine) 방정식.
초월 함수를 포함한 부등식.
기호적 도함수를 포함하는 시스템.
결과를 시각화합니다.