Some of my algorithm ideas to deal with advanced mathematics with cas

[compsystems]

ENG: A CAS is an expert system only in mathematics, emulating thinking or better human reasoning in this area is difficult, but it may not be impossible.
A software is an AI (artificial intelligence), but as its word says is artificial, perhaps in the future it is an TI (true intelligence).

SPN: Un CAS es un sistema experto solo en matemáticas, emular el pensamiento o un mejor razonamiento humano en esta área es difícil, pero tal vez no sea imposible.
Un software es una AI (inteligencia artificial), pero como su palabra dice es artificial, quizás en el futuro sea un TI (verdadera inteligencia).