Symbolic multivariable calculus with undetermined number of variables
27360
How to differentiate formally?
9339
Package functions and symbolic calculations
2743
Dot Product and Cross Product: Solving a set of Simultaneous Vector Equations
21813
Symbolic derivatives are being calculated numerically
111725
On the absolute value of Jacobian determinant - variable transformation in multi-integral
28109
Conjectural closed-form representations of sums, products or integrals
145759
formal proof from calulus
101993
The cardinality of a language over a set of variables $V$ with $\#V= κ$
82198
Proving Convexity of Multivariate Function using Conditional Univariate Convexity
99168
Does Hilbert's $\varepsilon$-calculus have any real problem when using for incomplete systems?
17290
Solutions for dependency problem in interval arithmetic (remedy for nonexistence of additive inverses)
114463
Indefinite Multiple Integration
97668
Determining an unknown vector from its cross and dot product with known vector
158876
Computing with matrix differential operators
20801
Application of inverse function theorem for several variable functions
47168
PDE separation of variables
21526
Defining symbolic expectation function