Questions tagged [symbolic]

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

172 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
11
votes
0answers
585 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
300 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
329 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
138 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 ...
9
votes
0answers
547 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 ...
8
votes
0answers
482 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
105 views

Order of boundary condition inside DSolve matters?

Bug introduced in 11.1.1 or earlier. Consider the following example: ...
7
votes
0answers
379 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.: ...
7
votes
0answers
227 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 ...
7
votes
0answers
359 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 = \...
7
votes
0answers
3k 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 ...
6
votes
0answers
120 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 ...
6
votes
0answers
212 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 ...
5
votes
0answers
95 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
148 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. ...
5
votes
0answers
80 views

TensorContract applied twice

I have a very simple question about TensorContract command: I'm declaring ...
5
votes
0answers
1k 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]] ...
5
votes
0answers
254 views

Interval Arithmetic with Symbolic Intervals

I've run into a problem with IntervalUnion and IntervalIntersection when dealing with symbolic intervals. The following code ...
5
votes
0answers
139 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
66 views

How to get an asymptotic of the real-valued branch of the inverse function?

Consider function $f:\mathbb R^+\to\mathbb R^+$, defined as $f(x) = x + x^2\left(1 + \log x\right)$. I need to find an asymptotic approximation of its inverse function $f^{\small(-1)}\!:\mathbb R^+\to\...
4
votes
0answers
32 views

How does Simplify deal with contradictions in the assumptions?

Context Sometimes Simplify does generate a warning when the assumptions are self-contradictory. Take this example: ...
4
votes
0answers
121 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 ...
4
votes
0answers
175 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
182 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
93 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
816 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
258 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
80 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
114 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
111 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
67 views

Convolution using the Laplace integral transform of certain functions

I am trying to convolve two functions: $f(t) = e^{- t}$ $g(t) = e^{-(e^{-t})^2}$ $(f*g)(t) = \int_{0}^{t} f(t-\tau)g(\tau) d\tau = \int_{0}^{t} e^{-(t-\tau)} e^{-(e^{-\tau})^2} d\tau$ Using the ...
3
votes
0answers
64 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
194 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
178 views

Symbolic second variation (quadratic form matrix)

Mathematica has a calculus of variations package that can compute the first variational derivative symbolically, rather nicely. Does anyone know if there is a way to compute the quadratic form matrix ...
3
votes
0answers
167 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
69 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
161 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
223 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
124 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
309 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
107 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
196 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
279 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
278 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
47 views

How can I simplify a symbolic tensor expression?

My question is about simplifying tensor expressions. If I have $(a+b)\otimes (c+d)$ The function TensorExpand gives $a\otimes c + a\otimes d + b\otimes c + b\otimes ...
2
votes
0answers
35 views

How algebraic (or more general) expression is represented (memory level, data structure) in Mathematica?

This is not a question about the usage of Mathematica, it is more about implementation. Mathematica is a very huge system, it can provide a series of very advanced operation against a Mathematica ...
2
votes
0answers
37 views

How to define a function based on an operation with parameters

I would like to define a function as the output of another operation depending on a few parameters. For example s[t1_,t2_]:= Integrate[t^n,{t,t1,t2}] s[0,1] I ...