Questions tagged [symbolic]

For questions about symbolic computation, as opposed to numerical computations.

144 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
11
votes
0answers
502 views

How to speed up calculations on big symbolic matrices?

this is my first time posting something on a community of the StackExchange platform, so please feel free to correct me if I'm doing something wrong. :) Additionally you should probably know that I'm ...
10
votes
0answers
281 views

Possible Symbolic Integration Bug

Bug introduced between 5 and 8 and persisting through 12.0. I think I may have found a bug, and want to verify is this reproducible in other versions and platforms and not a mistake of mine. I ...
10
votes
0answers
312 views

Improving the performance of a package for working with rational functions

As Mathematica gets slow for large symbolic calculations, the cost of putting terms over a common denominator (Together), in particular, gets too high. It occurred ...
9
votes
0answers
121 views

Symbolically evaluating gradients/Hessians

I'm taking a machine learning course, which involves taking a lot of analytical gradients and Hessians. It would be ideal if I could perform these calculations in Mathematica. However, I am only aware ...
8
votes
0answers
400 views

Expansion for Modified Bessel Function Around Infinity

I'm somewhat new to Mathematica, and I don't understand why I'm getting inconsistent series expansions for the modified Bessel Function of first kind near $x=\infty$. First problem: I get different ...
7
votes
0answers
89 views

DSolve fails with four variables

How is that DSolve has no trouble solving this: DSolve[{ D[G[x1,x2,x3],x1]==0, D[G[x1,x2,x3],x2]==0, D[G[x1,x2,x3],x3]==0 },G[x1,x2,x3],{x1,x2,x3}] but it fails ...
7
votes
0answers
99 views

Order of boundary condition inside DSolve matters?

Bug introduced in 11.1.1 or earlier. Consider the following example: ...
7
votes
0answers
433 views

Symbolic Weak Form

Usually I write the weak form by hand for my FEM code, but it's a little annoying and mechanic sometimes. So, I wonder, is there any way to generate the symbolic weak form in Mathematica? For ...
7
votes
0answers
328 views

Examples of using Mathematica to solve matrix equations symbolically

Suppose we want to solve a linear system like $$\left\lbrack\begin{array}{cc}M& S\\ -S^\mathrm{T}&0 \end{array} \right\rbrack \left\lbrack \begin{array}{c} x\\y\end{array}\right\rbrack = \...
6
votes
0answers
192 views

DSolve Returns Incorrect Solutions for First-Order ODE

Bug introduced in 10.4 or earlier and persisting through 11.3. Reported to Wolfram Technical Support as CASE:4150361. Fifty-one DSolve questions on this site are ...
6
votes
0answers
358 views

Integrating rational functions of several variables over $\mathbb{H}^4$

Let $W$ be a rational function of $8$ variables $a,b,c,d,e,f,g,h$ from this file, e.g.: ...
6
votes
0answers
175 views

Spurious DSolve Solution

Bug introduced in 8.0.4 or earlier, persisting through 12.0. DSolve quickly returns solutions to the following PDE (which is the homogeneous portion of the PDE in ...
6
votes
0answers
2k views

Solve huge symbolic system of linear equations

I have a system of 76 symbolic linear equations (i.e. some coefficients are symbolic) with a sparse coefficient matrix. However, neither Solve[] nor ...
5
votes
0answers
73 views

Can I extract symbolic expression of neural network loss function?

Once we create a neural network with NetChain in Mathematica, can we extract the loss function in the symbolic form for Mathematica to play with symbolic manipulations using Mathematica's built-in ...
5
votes
0answers
73 views

TensorContract applied twice

I have a very simple question about TensorContract command: I'm declaring ...
5
votes
0answers
123 views

Operator which can be interpreted as binary and unary

I'm a bit lost with the way how e.g. the + operator is implemented in Mathematica as binary (infix) and unary (prefix) operator depending on the context, since I would like to define a similiar ...
4
votes
0answers
90 views

Can I use Mathematica ML capability to translate an image of a formula?

If I am given a pdf image of a mathematical symbolic formula can I translate it into Mathematica syntax using ML? I tried using Classify, but I can only translate parts of the equation and I don't ...
4
votes
0answers
116 views

Integrating a product of three Spherical Harmonics

The following command is returned unevaluated. The answer is well known to be related to Wigner's 3j Symbol which is also a defined function in Mathematica. ...
4
votes
0answers
169 views

How to find an exact solution to this ODE?

I am trying to find an exact solution to this differential equation, ode = f'''[x] + f[x]*f''[x] - f'[x]^2 == 0 For which, I already know the exact solution ...
4
votes
0answers
168 views

What real symmetric matrices of this type can Mathematica find symbolic eigenvalues for?

I'm working on a problem calculating symbolic eigenvalues of matrices that always have a very simple form: they are real and symmetric and usually sparse. They have two distinct symbolic parameters. (...
4
votes
0answers
87 views

Create an adequate 'training set' to train a ClassifierFunction which performs the role of the built-in `SubsetQ`

I am trying to "grow" my own SubsetQ function using Machine Learning methods. My cSubsetQ when given two lists (listA and listB)...
4
votes
0answers
771 views

Is it possible to simplify an expression in vector form, which involves crossproduct and dot product?

I often need to simplify expressions involving cross product and dot product, for example: f = Dot[Cross[Cross[p1 - p, e1], Cross[p2 - p, e2]], Cross[p3 - p, e3]] ...
4
votes
0answers
634 views

General suggestions to accelerate Simplify and FullSimplify

To my understanding, the function Simplify[] and FullSimplify[] work by applying a series of built-in transformation rules to ...
4
votes
0answers
228 views

Symbolically Minimizing a Max function

I'm having a tough time with seemingly simple symbolic Minimization/Maximization in Mathematica. I would like to use the Maximize function to work on some unknown random variables and so use min/max ...
4
votes
0answers
212 views

Interval Arithmetic with Symbolic Intervals

I've run into a problem with IntervalUnion and IntervalIntersection when dealing with symbolic intervals. The following code ...
4
votes
0answers
77 views

Derive logistic choice probabilities symbolically

More generally, I am interested in learning what the current limitations of Mathematica are when using it for doing pure mathematics. A recent blog post by Stephen Wolfram (see: http://blog....
4
votes
0answers
113 views

Does it help to do any preprocessing before `FindSequenceFunction`?

I am always amazed how smart FindSequenceFunction can be in discovering general term formula for a sequence of rational numbers. The documentation says it can work ...
4
votes
0answers
1k views

Symbolic matrix calculus: What's new in Version 9

I have seen some of the related posts, which ask about doing matrix calculation on tensors unknown dimensions. One of the posts mentioned that version 9 has some capability, but it was concerned about ...
4
votes
0answers
1k views

Analytically solve the eigenvalue problem with infinite dimensions by Mathematica?

If I am given a symbolic expression of all the matrix elements in an infinite-dimensional space, e.g., the Hamiltonian of a quantum mechanical system, is it possible to get the symbolic expression for ...
4
votes
0answers
110 views

Using Resolve and ForAll to prove takes a really long time

I've been trying to prove a lemma for my paper using Mathematica... basically that $$\forall \{n, d_i, d_j\} \in \mathbb{Z},\ n \ge d_i > d_j \ge 2$$ it's true that $$V[1, n, d_i-1, d_j-1] >...
3
votes
0answers
54 views

Symbolic formula from GeometricScene?

I'm trying to solve the following problem with GeometricScene What is the shortest circular arc of which the altitude above its chord is one? I have the following code: ...
3
votes
0answers
113 views

Evaluate $\int_0^1 \frac{\log \left( 1+x^{2+\sqrt{3}}\right)}{1+x}\mathrm dx$

Saw this post and noted that it was posted back in 2013. Just tried V11.3 and got no analytic solution. Just wondering if there is a way for Mathematica to give the desired result? Machine VS Human ...
3
votes
0answers
59 views

Problem solving first order ODE's with DSolve

The issue I am facing is the following. I am trying to solve a system of two coupled first order ODE's with DSolve: ...
3
votes
0answers
151 views

How to detect discontinuous point in a symbolic function?

Mathematica Plot function can detect exclusion points automatically. How was that realized? How can I generalize that to included discontinuity of ...
3
votes
0answers
142 views

SymbolicC/SymbolicCUDAFunction generating C/C++ parser?

I wish to do some program transformation and analysis. Is there any package that generates SymbolicC expressions from C code? In a sense I'm looking for the ...
3
votes
0answers
66 views

Unexpected imaginary term in the asymptotic expansion of DawsonF

FullSimplify[Series[2 DawsonF[x], {x, ∞, 8}]] (* -I Exp[-x^2] √π + (1/x + 1/(2 x^3) + 3/(4 x^5) + 15/(8 x^7) + O[1/x]^9) *) What is the reason the term ...
3
votes
0answers
151 views

Simplifying between set theory and logical connectives

I'm trying to find out how to switch between set notation and logic, but am having difficulty. For instance, I know that the following two expressions are equivalent ...
3
votes
0answers
203 views

Fourier transformation of HeavisideTheta functions

I want to find 2D-Fourier transformation of the function given below f = HeavisideTheta[y1]*HeavisideTheta[y2 - y1] For the purpose, I use built-in function in ...
3
votes
0answers
123 views

What is so special about variable s$?

I found a nice bug in Mathematica 9.0.1.0. Could anyone check to reproduce it? Create a file temp.txt with one line: ...
3
votes
0answers
286 views

Do a gauge transformation for a Chern-Simons theory?

Suppose we have the following Lagrangian density: $$ L=\epsilon^{\mu\nu\rho}\big(\sum_a A^a_{\mu}(x) \partial_\nu A^a_{\rho}(x)-\sum_{a,b,c}\frac{1}{3} f^{bca} A^a_{\mu}(x) A^b_{\nu}(x) A^c_{\rho}(x)...
3
votes
0answers
105 views

How to combine DifferenceRoot objects for odd and even-indexed terms

I'm trying to analyze a certain infinite sequence $S$, indexed by positive integers starting from $1$. It can be split into two subsequences: $S^{odd}$ by removing all even-indexed elements and ...
3
votes
0answers
195 views

Changing bounds of summation after differentiating symbolic sums

Suppose, I have a function written as Taylor-Maclaurin series f = Sum[c[n]*x^n, {n, 0, Infinity}] Now, I wish to differentiate this expression with respect to <...
3
votes
0answers
274 views

Malliavin Derivative with Mathematica is it possible?

Is it possible to define a Malliavin calculus with Mathematica 9? Consider a random variables on the Wiener-space $\Omega=\mathcal{C}([0,1])$ of the form $$F=F(\omega)=\displaystyle\int_{0}^{T}h_{t}...
3
votes
0answers
276 views

Numerical-Symbolical Integration (Calculus)

I created a simple numeric-symbolic integration. Here you can use symbolical and numerical techniques at the same time. You can also interpolate numerical integrals. The problem with my function is ...
2
votes
0answers
72 views

Lambda calculus reduction in Mathematica

Are there any built-in functions for reducing lambda terms in Mathematica? If not, how might one do it? I've heard of Function, which is good for $\beta$-reduction, ...
2
votes
0answers
60 views

Trace function did not show the steps to the final answer

Trace[ FullSimplify[ 1/4 Sec[20 °] + Sin[10 °] + 2 Sin[10 °]^2 ] ] Mathematica gave the correct answer 1/2, but it did not show the final steps to arrive at 1/...
2
votes
0answers
61 views

Issues with symbolic integration

I am trying to do the following indefinite integral, ...
2
votes
0answers
35 views

How to Simplify/Factorise symbolic non-commutative expressions?

It always strikes me as odd, that Mathematica seems to have a hard time with non-communative multiplications. I can use the horrible TensorExpand (or more performant Distribute) to get ...
2
votes
0answers
120 views

Substitution of expressions using Groebner basis

I know this topic came up numerous times (most of the results are detailed in the comments of this link Is there a way to to substitute for symbols, simplify, and back-substitute?). However, I have ...