Buscar en Google benchmark polynomial systems
conduce a algunos éxitos, incluida la Iniciativa de referencia de álgebra informática de la Universidad de Mannheim . Lamentablemente, la mayoría de estos están desactualizados o desaparecidos. El más activo parece ser el Wiki SymbolicData , pero por lo que puedo decir, solo recopila problemas de referencia , no resultados de referencia .
Algunas comparaciones (que se remontan a 1996) de Axiom, Macsyma, Maple, Mathematica, MuPAD y Reducción de sistemas polinomiales de resolución se pueden encontrar en Hans-Gert Gräbe, About the Polynomial System Solve Facility de Axiom, Macsyma, Maple, Mathematica, MuPAD, y Reduce , Preprint 11/96 des Instituts für Informatik, Universität Leipzig, Alemania, diciembre de 1996 . La conclusión es que Axiom, Maple y Reduce ganan debido al uso de bases Gröbner (los otros no lo hicieron en este momento), con Maple saliendo ligeramente por delante de los demás.
También hay una antigua comparación en el sitio web SINGULAR que muestra SINGULAR 2.0 (actual a diciembre de 2015 es 4.0.2) superando a Maple, entre otros.
Por otro lado, una publicación más reciente ( Yao Sun, Dongdai Lin y Dingkang Wang. 2015. Sobre la implementación de algoritmos basados en la firma Gröbner basados en rutinas algebraicas lineales de M4RI. ACM Commun. Comput. Algebra 49, 2 (agosto de 2015) , 63-64 comparan la implementación de los autores de un algoritmo de base de Gröbner con el de Maple, Singular y Magma, con Magma siendo más rápido que los otros dos paquetes en un orden de magnitud (y vinculado con la implementación de los autores).
Por lo tanto, parece depender mucho del problema (tamaño y estructura) y de la versión del software, qué paquete es el más rápido. Sin embargo, la recomendación de utilizar un sistema de álgebra computacional de propósito especial desarrollado activamente como Singular, Magma o Maple en lugar de un software de cómputo simbólico de propósito general es acertada. Esto se duplica para una caja de herramientas en un software numérico , que agrega otro nivel de sobrecarga y generalmente está varias versiones detrás del software independiente en el que se basan (MuPAD, anteriormente Maple, en el caso de la caja de herramientas de Matlab).
sympy
!