Computer Science Stack Exchange
Computer Science Stack Exchange

Questions tagged [mathematical-software]

21 questions
8
votes
4 answers

Constructing a data structure for a computer algebra system

In thinking about how to approach this problem I think several things will be required, some tivial: An expression tree where non-leaf node is an operation (not sure if that part is redundant), but not every node has just two children. All nodes…
soandos
  • 1,143
  • 2
  • 10
  • 23
8
votes
0 answers

Complexity of computer algebra for systems of trigonometric equations

As discussed in this question, I drafted a spec algorithm that hinges on finding a specific root of a system of trigonometric equations satisfying the following recurrence: $\qquad f_{p_0} = 0\\ \qquad p_0 = 2\\ \qquad \displaystyle f_{p_n}(x) =…
MrGomez
  • 549
  • 2
  • 8
6
votes
1 answer

How do Computer Algebra Systems work?

In Computer Architecture course, I have learnt how computer performs numerical computations. While using MATLAB, I was introduced to symbolic mathematics toolbox. I was amazed to see it manipulating trigonometric expressions, indefinite integration…
William Hartl
  • 63
  • 3
5
votes
0 answers

Symbolic Math Systems As Speculative Optimization For Numerical Software?

Has there been published work on hiding symbolic math within numeric software, partitioning parallel processes between speculative symbolic optimization search and numeric evaluations? Real world numerical applications of mathematical software…
James Bowery
  • 396
  • 2
  • 10
5
votes
3 answers

Usefulness of Differential Geometry

I recently came across these books: Differential Geometry and Lie Groups: A Computational Perspective Differential Geometry and Lie Groups: A Second Course Their subject matter really intrigues me, as I really enjoy topology/geometry/analysis, but…
user37344
  • 135
  • 9
4
votes
1 answer

C(++) library for DFAs - free for academic use

(I'm aware that software questions are better suited for stackoverflow, but since DFAs are not something that software developers usually care about, I hope it's alright if I ask here.) I'm currently working on a project to do with regular…
G. Bach
  • 2,019
  • 1
  • 17
  • 27
4
votes
0 answers

Testing whether polynomial is in algebra of other polynomials

A collection $\Sigma$ of polynomials is an algebra if: (1) $\lambda f + \eta g \in \Sigma$ for any $f,g \in \Sigma, \lambda,\eta \in \mathbb{R}$ and (2) $f,g \in \Sigma$ implies $fg \in \Sigma$. We say that $P$ is in the algebra of…
user114441
3
votes
0 answers

Can cognitive architectures (CLARION, SOAR, ACT-R) be used for creative mathematical reasoning?

Can cognitive architectures (CLARION, SOAR, ACT-R, others) be used for creative mathematical reasoning? As far as I understand, then it is the best to encode formal mathematical knowledge in the languages of proof assistants like Coq (CIC - Calculus…
TomR
  • 1,411
  • 8
  • 17
3
votes
0 answers

Generate all non-isomorphic bounded-degree rooted graphs of bounded radius

I need to generate/enumerate isomorphism classes of vertex-rooted graphs with the following properties. Let $\Delta$ be the maximal degree (say 3 for subcubic graphs) and $r$ the maximal distance of a vertex from the root (something like radius,…
JS_
  • 131
  • 2
3
votes
1 answer

Imperfection in randomness in VLC shuffle playlist - why?

Whenever I play a playlist of music using VLC (possibly other software too), I notice that some songs never get played while others get played repeatedly (even for a playlist of just 8 songs). I know from my days as a computer science undergrad…
Sridhar Sarnobat
  • 173
  • 6
3
votes
2 answers

How much can we trust mathematical software when working with large numbers, and how much memory it needs to work with these numbers?

For example, I want to evaluate the expression: $3^{3^{{3}^{3}}}$ so I used wolframalpha.com (it's free, and I don't own any software), which returned the scientific notation of the number above, namely: $ 1.258014290627491317860390698... ×…
Pinteco
  • 151
  • 1
  • 3
2
votes
2 answers

Function Maximization in Java

I have a bivariate function like $ f(x,y) = \frac{1}{x^3 \sqrt{\pi}}. e^{\frac{2-x}{x^2}} . y^3 . e^{3.y \over 3-y} $ and I want to find its global maximum over a range of $ x \in [0, 200] \text{, and } y \in [300,50000] $ What kind of algorithms I…
AKH
  • 21
  • 1
  • 2
1
vote
1 answer

What is the equation for a spiral path in 3D?

I am developing games in Unity 3D. Currently, I am trying to place 3D objects in 3D space in a spiral pattern that looks like one of 2 the strands in a pair of the DNA (helix) spiral pattern. Would anyone please show me the equation for 3D spiral…
Job_September_2020
  • 121
  • 3
1
vote
0 answers

Universal theorem proving algorithms for sequent calculus (e.g. for cut-free logics)?

Some of the logics admit Gentzen-style sequent calculus. Are there universal algorithms that allow to find proof (derivation of the proof) in sequent caculus for every hypthetical theorem? Some of the proof assistants support formalization of…
TomR
  • 1,411
  • 8
  • 17
1
vote
0 answers

Logical formula in DIMACS, SAT, Schaefer's dichotomy theorem and software to test it

I have a very complicated formula logical (CNF) in the file DIMACS. The question is as follows. The formula has hundreds of millions of clauses (assume billion) and a lot of variables. It is a reconstruction of a logic circuit. MiniSAT returns me…
Aurelio
  • 239
  • 2
  • 6
1
2