Stack Overflow
Stack Overflow

Questions tagged [symbolic-computation]

Symbolic computation or algebraic computation or computer algebra relates to algorithms and software for manipulating mathematical expressions and equations in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols.

Symbolic computation or algebraic computation or computer algebra relates to algorithms and software for manipulating mathematical expressions and equations in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols.

See http://en.wikipedia.org/wiki/Symbolic_computation

83 questions
3
votes
1 answer

Matlab solve function: How do I get the solution of variable size, into Matrix form?

I'm currently working on following Matlab function. function d = sym_fun(E,A,C) [n,m] = size(A); if n==m X = sym('X%d%d', [n,n]); Xres = solve(A'*X*E+E'*X*A+E'*(C'*C)*E==0,X); xres = sym('x%d%d', size(Xres)); for i=1:size(Xres) …
Andreas Stump
  • 31
  • 3
3
votes
2 answers

Idiomatic way to express general computations in Haskell

There must exist a good idiomatic way to express general computations in Haskell on type level. All I can come up with is this (illegal) OO imitation. class Computation where compute :: Computation -> Double -> Double data Id = Id instance…
NioBium
  • 583
  • 3
  • 10
3
votes
4 answers

Checking symbolic computations

I have to do some computations where long formulae, mainly involving derivatives of polynomials with variable coefficients come up. Unfortunately the results I obtain from engines like Mathematica or Maple are represented in a way that is very…
harlekin
  • 315
  • 2
  • 7
3
votes
1 answer

Symbolic Integration in Matlab

I am just trying to solve an equation in matlab but it does give me a warning. "Warning Explicit integral could not be found" After some search people suggested to wrap my equation with Double() method but even with that I recieve wrong answer(…
Anar Bayramov
  • 11,158
  • 5
  • 44
  • 64
2
votes
1 answer

SymPy symbolic integration returns error

I am trying to use Sympy's symbolic integration to find a closed form for a definite integral. In particular, I run from sympy import * x, s, H = symbols('x s H', real=True,…
Ben
  • 465
  • 2
  • 6
  • 17
2
votes
1 answer

Computer Algebra Systems that support variable sized matrices

I'm familiar with sympy, the matlab symbolic package, reduce, and have tried out a few other computer algebra systems. However, as far as I can tell, none of them seem to be able to do algebra on variable sized matrices - they can only work with…
Phylliida
  • 4,217
  • 3
  • 22
  • 34
2
votes
0 answers

Symbolic package and Octave is working only for supersimple tasks. Am I doing anything wrong?

I have installed (on Windows machine (Win7 64bit)): python 3.5.0 and sympy 0.7.6.1 octave 4.0.0.0 and symbolic 2.2.2 This is what I get when I try to do anything with more than one operator: >> pkg load symbolic >> syms x OctSymPy v2.2.2: this…
V-X
  • 2,979
  • 18
  • 28
2
votes
1 answer

MATLAB error using symfun/subsindex

I'm having trouble using dsolve with symbolic functions. I'm receiving an error stating: "Error using symfun/subsindex (line 121) Indexing values must be positive integers, logicals or symbolic variables. Error in VK3 (line 9) [F(n), G(n),…
Michael
  • 21
  • 2
2
votes
0 answers

Matlab does not replace a symbolic function in another symbolic function

I have a symbolic function dependent of r called u(r). I obtain this function from a differential equation in u. Otherwise i have another symbolic function called sigma_r which is function of u and also of u derivatives. When i display sigma it…
Nidal Kochrad
  • 21
  • 1
2
votes
2 answers

Matlab nchoosek got difference answer using int64 and sym

This is a question about the function nchoosek in Matlab. I want to find nchoosek(54,25), which is the same as 54C25. Since the answer is about 10^15, I originally use int64. However the answer is wrong with respect to the symbolic…
k99731
  • 127
  • 5
2
votes
1 answer

CAS - Binary Tree Alternative

Is there a reasonable way to make an entire Computer Algebra System (algebraic equations, limits, derivatives, integrals) without using binary trees?
gab06
  • 578
  • 6
  • 23
2
votes
1 answer

Solving systems of equations, receiving z and z1 in solution?

I passed the following nonlinear system to Matlab: 2(x−p1)+2(xy−p3)y = 0 2(y−p2)+2(xy−p3)x = 0 and used syms to find solution for x and y symbolically but I got: sol.x ans = (p1^3 + p3*p1^2*z1 + p1*z1^4 - 1.0*p2*p1*z1^3 + p1*z1^2 - 1.0*p2*p1*z1 +…
Mohammad
  • 1,078
  • 2
  • 18
  • 39
2
votes
1 answer

Issue with Matlab solve function?

The following command syms x real; f = @(x) log(x^2)*exp(-1/(x^2)); fp(x) = diff(f(x),x); fpp(x) = diff(fp(x),x); and solve(fpp(x)>0,x,'Real',true) return the result solve([0.0 < (8.0*exp(-1.0/x^2))/x^4 - (2.0*exp(-1.0/x^2))/x^2 - …
epsilonxe
  • 69
  • 1
  • 6
2
votes
0 answers

How does KLEE model memory?

http://www.doc.ic.ac.uk/~dsl11/klee-doxygen/overview.html I'm trying to model memory for binaries and so I would like to see how KLEE handles it. However, I am having trouble understanding the explanation from the overview. Can I get an easier…
drum
  • 5,416
  • 7
  • 57
  • 91
2
votes
2 answers

Can I substitute using a symbolic equation in Sage?

I am using the following map in Sage: f = lambda x: sgn(x)*sgn(x); which evaluates to f(x) = 0 for x=0 and f(x)=1 for x!=0; In symbolic results, sgn(x)^2, sgn(x)^4 and sgn(x)^8, etc. are being treated as unequal, even though they are equal for all…
micahscopes
  • 1,034
  • 1
  • 9
  • 12
1
2
3 4 5 6