Questions tagged [mathematical-software]
The mathematical-software tag has no summary.
23 questions
1
vote
0
answers
19
views
Transferable skills: From GAP to C++ [closed]
There is mathematical software for an area of mathematics (i.e., group theory), called GAP. For a while now, I have heard the vague statement that it is "based on C++". I don't know what ...
- 141
2
votes
1
answer
159
views
Software for Wheels: On Division by Zero Using a Computer
This is concerning wheel theory, a way to allow division by zero in an algebraic system. Instead of a binary operation $\div$, there is a unary operation $/$ under the rules given in the linked ...
- 141
0
votes
0
answers
27
views
What software can compute restricted matching numbers of graphs?
Let $\Delta$ be a simplicial complex and $F, G$ be two facets of $\Delta$. We say that $F$ and $G$ form a gap in $\Delta$ if $F \cap G = \emptyset$ and the induced subcollection on the vertex set $F \...
user181751
0
votes
0
answers
85
views
Didactic tool to play with deterministic and nondeterministic automata
I'm looking for some tool, either online or not, to let students play with automata.
What I'm looking for specifically is for a tool that allows one to build an automaton and construct its powerset ...
- 558
5
votes
3
answers
1k
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, ...
- 135
1
vote
2
answers
582
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
4
votes
0
answers
50
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
1
answer
2k
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
195
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
327
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
200
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
76
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 ...
- 394
1
vote
0
answers
137
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,411
0
votes
0
answers
242
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
222
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,411