Maple would be the main proprietary alternative but yes, there's also SageMath.