Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 5963

Mathematical questions related to mathematical software systems such as Sage, Mathematica, Maple, Pari/GP, and GAP. Note that troubleshooting questions are generally considered off-topic.

8 votes

Software for symbolic matrix calculus?

I have not used it, but the NCAlgebra (NC for noncommutative) extension for Mathematica does do directional derivatives at least. It is aimed mostly at algebra involving noncommutative variables and …
Noah Stein's user avatar
  • 8,501
4 votes

Software for rigorous optimization of real polynomials

I see Gloptipoly has already been mentioned. This is an implementation of the general sum-of-squares/Positivstellensatz methods which allow one to relax polynomial problems into convex optimization p …
Noah Stein's user avatar
  • 8,501
2 votes

Solving a System of Quadratic Equations

What you have is an instance of a quadratically constrained quadratic program (QCQP). These problems are NP-hard in general (though it's possible your particular type of instance is not hard as fedja …
Noah Stein's user avatar
  • 8,501