Como respuesta a una de mis preguntas, me remitieron a un sitio web ( vea aquí, por favor )
¿Cómo puede el sitio web hacerlo como los humanos?
Lo siento si esta pregunta no está relacionada aquí.
Gracias a todos.
Respuestas
¿Demasiados anuncios?
bubba
Puntos
16773
Para el sistema específico (Mathematica) que usted ha mencionado, hay descripciones de su funcionamiento interno en estas páginas web y estos. Pero Mathematica es un sistema comercial, por lo que su funcionamiento interno, son propiedad, por lo que las descripciones no proporcionan mucho detalle.
Mientras que estos sistemas podrían parecer de trabajo "de la misma manera como un ser humano", que en realidad no. Los seres humanos a menudo el uso inteligente creativo trucos para resolver problemas. Los equipos en general (y de álgebra computacional de sistemas en particular) suelen utilizar la fuerza bruta métodos sistemáticos, como se describe en la referencia de los materiales. Consulte la descripción de cómo Mathematica encuentra indefinida integrales, por ejemplo.
Los mejores resultados se obtienen por la combinación de una potente fuerza bruta de computación inteligente y la orientación proporcionada por un ser humano. Álgebra computacional sistemas son enormemente útiles, pero sólo pueden hacer lo que les diga que hacer :-)
Simon D
Puntos
1414
Una calculadora simbólica, básicamente, es una elegante calculadora, bastante en línea con cualquier otra calculadora. Usted puede encontrar toda una serie de calculadoras que básicamente van desde la edad de 4 de función derecha para mathematica y parentela de los programas.
Por ejemplo, algunas de las más recientes calculadoras permiten fracción-de entrada, como 5.1.3 para $5\frac 13$. Algunos permiten a los números complejos y matrices para ser puesto, moviendo el cursor alrededor del campo, o lo que sea. Un polinomio es una matriz de números.
Lo que el programador puede implementar alguna función, y comunicará al usuario, se puede hacer todo tipo de cosas de lujo por la programación. No todos los algoritmos matemáticos trabajo aquí, sin embargo.
Hay algún capricho de matemáticas, que de diversas maneras y no trabajar en tiempo real. Un proyecto reciente que hice fue a buscar para que prime $p$ existe, si $p \mid F_n$, entonces también lo hace $p^2$. Tal debería existir, pero que el programa ha encontrado ninguno en $20\cdot 120^4$. El truco era para ver si $L_{2p}=3 \pmod{p^2}$ donde $L_n$ es el n-ésimo número lucas.
Lo hizo encontrar el número Garza $103$, en un triángulo $n-1, n, n+1$ es un triángulo con el entero del área, luego si $103$ divide a alguno de estos números, por lo que no $103^2$.
