Questions tagged [mathematical-software]
The mathematical-software tag has no usage guidance.
21
questions
0
votes
0
answers
29
views
Alternatives to Mathpix for converting pdf to LaTex code
I am self-learning a lot of Computer Science and Mathematics. I am using ChatGPT 4 to help me in this endeavor. Basically, if I like a set of lecture notes or if a book doesn't have solutions, I ...
0
votes
0
answers
16
views
Does plantri software provide the option to screen out abstract non-isomorphic graphs
This may be off topic, but I still want to find a solution.
The plantri software can generate planar graphs, but it may result in abstract isomorphism when generating planar graphs with a connectivity ...
- 165
5
votes
3
answers
478
views
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, ...
- 125
1
vote
2
answers
131
views
Implementing piecewise linear functions
I need to implement piecewise linear functions (this is not homework, it is for my own personal project). However, I have been having difficulties to get it right. Below, I describe the ...
- 11
3
votes
0
answers
29
views
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 ...
user114441
3
votes
2
answers
1k
views
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 ...
- 173
3
votes
2
answers
131
views
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, ...
- 151
-1
votes
1
answer
195
views
Can we find every 216 digit number combination? [closed]
This question popped to my head when I watched Pi where the mathematican told the Jews "Didnt you calculate every 216 digit number allready?"
So I want to find every possible 216 digit number ...
1
vote
1
answer
137
views
What is the equation for a spiral path in 3D? [closed]
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 ...
5
votes
0
answers
51
views
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 ...
- 388
1
vote
0
answers
97
views
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 ...
- 1,381
0
votes
0
answers
181
views
These sample CNF formulas in DIMACS files are in P? (Schaefer's dichotomy theorem)
Here is my earlier question. But there was no full answer.
I've decided to include specific DIMACS files:
http://jarvis2.hmcloud.pl/sat/cnf.formula.10 (15.8MB)
http://jarvis2.hmcloud.pl/sat/cnf....
- 239
3
votes
0
answers
184
views
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 ...
- 1,381
3
votes
0
answers
142
views
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 ...
- 131
1
vote
0
answers
136
views
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 ...
- 239
6
votes
1
answer
2k
views
How do Computer Algebra Systems work? [closed]
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 ...
1
vote
0
answers
99
views
Computational approach deciding whether a set of Wang Tile could tile the space up to some size [closed]
As an applied person, I'm facing one practical problem deciding whether a set of Wang tile could tile the plane periodically or aperiodically. Although both problems seem undecidable, but I'm on a ...
- 93
4
votes
1
answer
344
views
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 ...
- 1,999
2
votes
2
answers
4k
views
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{, ...
- 21
7
votes
4
answers
2k
views
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 ...
- 1,123
8
votes
0
answers
244
views
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\\
\...
- 549