To find the sparse solution to an underdetermined system of equations of the source location problem,we propose to use the alternating direction method of multi
In this report,I mainly focused on the database of differential equations and the automatic reasoning platform,which are developed by our research group in the
Solving nonlinear systems is a core issue in computer algebra.Most known algorithms are derived for polynomials,rather than more general and more complicated tr