Bueno, sé poco sobre este tema.
Acabo de recibir un curso llamado lógica de computadora y sé un poco sobre CAS.
Las manipulaciones simbólicas admitidas generalmente incluyen:
- ¿Cuáles son los cursos matemáticos recomendados para el aprendizaje automático y el procesamiento de big data?
- ¿Por qué es importante para un programador tener un buen dominio de los conceptos matemáticos?
- ¿Existe algún conjunto de videos o una lista de reproducción de videos de programación competitiva que incluya todos los algoritmos, estructuras de datos, matemáticas y todo lo necesario?
- ¿Cuál es la relación del valor ap y la medida estadística de prueba?
- ¿En qué circunstancias necesitaría un desarrollador web utilizar estructuras de datos como Listas vinculadas, BST y Gráficos?
simplificación a una expresión más pequeña o alguna forma estándar, incluida la simplificación automática con supuestos y la simplificación con restricciones
sustitución de símbolos o valores numéricos para ciertas expresiones
cambio de forma de expresiones: expansión de productos y potencias, factorización parcial y total, reescritura como fracciones parciales, satisfacción de restricciones, reescritura de funciones trigonométricas como exponenciales, transformación de expresiones lógicas, etc.
diferenciación parcial y total
alguna integración indefinida y definida (ver integración simbólica), incluidas integrales multidimensionales
optimización global simbólica limitada y sin restricciones
solución de ecuaciones lineales y algunas no lineales sobre varios dominios
solución de algunas ecuaciones diferenciales y diferenciales
tomando algunos límites
transformadas integrales
operaciones en serie como expansión, suma y productos
operaciones matriciales que incluyen productos, inversas, etc.
cálculo estadístico
prueba y verificación de teoremas que es muy útil en el área de las matemáticas experimentales
generación de código optimizada …
Y parece que todo sistema lógico debe estar diseñado.
Ahora el CAS tiene muchos usos (al menos para mí) como:
- Teorema del resto chino
- Factorización polinómica
- Límite de cómputo
- y así
Si existen errores, le agradezco que lo señale.