我需要解决一个庞大的方程组。我现在需要解决的系统有30个方程和30个未知数，但我需要能够使用同一个系统来解决1,000个方程和1,000个未知数。我不需要知道所有未知变量的答案，我只需要知道其中一些变量的答案（30个方程式中的2个，以及1,000个方程式中的10个）。我需要解决的方程式各自为：
(c0 * x0) + (c1 * x1) + ... + (c_n * x_n)
x_i是未知变量，c_i是已知常量，n是我拥有的未知数。
通过将其编码为矩阵形式，解决这个系统似乎应该是微不足道的。但是，这是不可能的，因为我的大多数c_i常量都知道需要保持其符号形式的变量。所以，我需要一个符号方程求解器。
我试图将系统编码为sympy，这是python中的符号方程求解器。这对我来说不够快。
我试图考虑用素数替换c_i值，并在达到解决方案时将质数分解出来。但是，这也不起作用：c_i表达式中的许多常量都是多项式形式。多项式不会高于6的幂。
我有解决方案吗？
我的编程背景是python，C ++和R.我愿意学习新的语言/系统以解决这个问题。