Matemática computacional

A matemática computacional é o estudo da interacción entre as matemáticas e os cálculos feitos por un ordenador.National Science Foundation, Division of Mathematical Science, Program description PD 06-888 Computational Mathematics, 2006. Consultado en abril de 2007. 

Unha grande parte das matemáticas computacionais consiste aproximadamente en utilizar as matemáticas para permitir e mellorar a computación informática en áreas da ciencia e da enxeñaría onde as matemáticas son útiles. Isto implica, en particular, deseño de algoritmos, complexidade computacional, métodos numéricos e álxebra informática.

A matemática computacional refírese tamén ao uso dos ordenadores para as propias matemáticas. Isto inclúe a experimentación matemática para estabelecer conxecturas (particularmente na teoría de números), o uso de ordenadores para demostrar teoremas (por exemplo, o teorema das catro cores) e o deseño e uso de asistentes de probas.

 Áreas da matemática computacional 
A matemática computacional xurdiu como parte distinta das matemáticas aplicadas a principios da década de 1950. Actualmente, as matemáticas computacionais poden referirse ou incluír:

 Computación científica, tamén coñecida como  enxeñería computacional.
 Resolver problemas matemáticos mediante simulación por ordenador en oposición aos métodos tradicionais de enxeñería.
 Métodos numéricos utilizados na computación científica, por exemplo, álxebra linear numérica e solución numérica de ecuacións en derivadas parciais.
 Métodos estocásticos, como os métodos de Monte Carlo e outras representacións da incerteza na computación científica.
 As matemáticas da computación científica,   en particular a análise numérica, a teoría dos métodos numéricos.
 Complexidade computacional.
 Álxebra informática e sistemas alxébricos computacionais (CAS), como por exemplo Maxima.
 Investigación asistida por ordenador en varias áreas das matemáticas, como a lóxica (proba automática de teoremas), matemáticas discretas, combinatoria, teoría de números e topoloxía alxébrica computacional.
 Criptografía e seguridade informática, que implican, en particular, investigacións sobre probas de primalidade, factorización, curvas elípticas e matemáticas da cadea de bloques.
 Lingüística computacional, o uso de técnicas matemáticas e informáticas nas linguaxes naturais.

 Xornais 
As revistas que publican contribucións de matemática computacional inclúen

 ACM Transactions on Mathematical Software
 Mathematics of Computation
 SIAM Journal on Scientific Computing
 SIAM Journal on Numerical Analysis

 Notas 


 Véxase tamén 
 Bibliografía 

 Outros artigos 
 Sistema alxébrico computacional.
 Ligazóns externas 
 Foundations of Computational Mathematics, organización sen fins lucrativos
 International Journal of Computer Discovered Mathematics

Categoría:Matemática aplicada
Categoría:Wikipedia:Páxinas que usan barra lateral co parámetro child
Categoría:Informática