Als «symbolic-computation» getaggte Fragen

77
Gibt es einen hochwertigen nichtlinearen Programmierlöser für Python?

Ich habe mehrere herausfordernde nicht konvexe globale Optimierungsprobleme zu lösen. Derzeit verwende ich die Optimization Toolbox von MATLAB (speziell fmincon()mit algorithm = 'sqp'), was sehr effektiv ist . Der größte Teil meines Codes ist jedoch in Python, und ich würde die Optimierung gerne...

36
Symbolische Softwarepakete für Matrix-Ausdrücke?

Wir wissen, dass symmetrisch und positiv definit ist. Wir wissen, dass orthogonal ist:BEINA\mathbf ABB\mathbf B Frage: symmetrisch und positiv-definit? Antwort: jaB ⋅ A ⋅ B⊤B⋅A⋅B⊤\mathbf B \cdot\mathbf A \cdot\mathbf B^\top Frage: Könnte uns ein Computer das gesagt haben? Antwort: Vermutlich. Gibt...