Pertanyaan yang diberi tag symbolic-computation

77
Apakah ada pemecah pemrograman nonlinier berkualitas tinggi untuk Python?

Saya memiliki beberapa masalah optimisasi global non-cembung yang menantang untuk dipecahkan. Saat ini saya menggunakan MATLAB's Optimization Toolbox (khusus, fmincon()dengan algoritma = 'sqp'), yang cukup efektif . Namun, sebagian besar kode saya menggunakan Python, dan saya ingin melakukan...

36
Paket perangkat lunak simbolis untuk ekspresi Matrix?

Kita tahu bahwa simetris dan pasti-positif. Kita tahu bahwa B itu ortogonal:SEBUAHSEBUAH\mathbf ABB\mathbf B Pertanyaan: apakah simetris dan pasti-positif? Jawab: Ya.B ⋅ A ⋅ B⊤B⋅SEBUAH⋅B⊤\mathbf B \cdot\mathbf A \cdot\mathbf B^\top Pertanyaan: Bisakah komputer memberi tahu kami tentang hal ini?...