Questions tagged [math-software]

For help with mathematical questions arising from software such as Maple, MATLAB, Mathcad, Pari/GP, R, and the WolframAlpha website, etc. Consider posting questions about Mathematica at the Mathematica StackExchange instead. For GAP, SAGE, and MAGMA, one might use tags (computer-algebra-systems), (gap), (sage), (magma-cas).

Filter by
Sorted by
Tagged with
0 votes
0 answers
26 views

What software can I use to graph a solid of revolution between 2 functions?

What software is used to graph solids of revolution between 2 functions like the ones below?
user avatar
0 votes
0 answers
55 views

PHI function to list relative primes

I am using a website called dcode to input numbers into the PHI function, and then receive an output of numbers relatively prime with my input. The website, unfortunately, limits output to just 500 ...
user avatar
2 votes
1 answer
52 views

What software do you use to do algebra operations when the number of operations get out of hand?

I need to solve a 12th degree polynomial with coefficients that are not numbers, but are made out of lots of algebra operations with letters. I could do them all by hand, but I counted them and it ...
user avatar
1 vote
0 answers
42 views

Is there a software with which you can visualise a complex function?

I just discovered that complex functions exist, and that you need four dimensions to represent them (i.e. three space dimensions and one represented by colours => Riemman’s surfaces). I was ...
user avatar
  • 11
1 vote
1 answer
26 views

Is there a way to describe a conditional statement algebraically?

Coming from a software engineering background, I am quite used to using conditional statements in my everyday mathematics. I know there are some higher math symbols to represent conditional statements,...
user avatar
0 votes
1 answer
45 views

SOSTOOLS in MATLAB: findbound gives wrong output

Here is the MATLAB code that uses SOSTOOLS toolbox: ...
user avatar
0 votes
1 answer
31 views

(Software) Drawing spherical coordinates - triple integrals

How can I create figures such as the following: Is there a LaTeX solution? I tried using GeoGebra but it didn't work. Any help is appreciated. Cheers,
user avatar
0 votes
1 answer
52 views

Publishing Research Papers on Mathematical Software Packages

I have written some LaTeX package for Mathematics. It involves substantial work. In general only a person having good knowledge of Mathematics and TeX could develop such things. There are other ...
user avatar
  • 390
2 votes
0 answers
18 views

How to construct coinvariant rings in Math software?

Let $W=\mathfrak{S}_n$ be the symmetric group of $n$-elements. Can we construct the coinvariant ring for it? Say, $$\mathbb{Q}[x_1,\ldots,x_n]\bigg/(e_1,\ldots,e_n)$$ where $V=\mathbb{C}^n$ is the ...
user avatar
  • 1,445
1 vote
1 answer
21 views

Excel and the T-Distribution

My stat book has an index of values relating to the t-distribution. And Excel has a bunch of apparently related functions: T.DIST (x, deg_freedom, cumulative) T.DIST.2T (x, deg_freedom) T.DIST.RT (x,...
user avatar
  • 589
0 votes
0 answers
11 views

Best software (open-source if possible) for modelling free boundary problems and general constitutive relations in Computational Mechanics.

I am in search of a good software package (open-source if possible) with capabilities of modelling free boundaries, polymeric behavior (i.e. stress is defined by a evolutionary PDE) and multi-physics ...
user avatar
3 votes
1 answer
48 views

In GAP, how can we write functions whose signatures have optional variables?

We know that some GAP functions present additional options in their signature. For example, consider the IsomorphicSubgroups function, if we set ...
user avatar
  • 333
0 votes
0 answers
17 views

Computational method to compute the subgraphs with $i$ edges and $j$ vertices of a bipartite graph

Let $G$ be a bipartite graph, having $m$ vertices and $n$ edges. We want to compute using a computational method the subgraphs with $i$ edges and $j$ vertices of $G$ ($j\leq m$ and $i\leq n$). Input: ...
user avatar
  • 125
0 votes
1 answer
93 views

What software is used to draw mathematical shapes in books like this one?

What software is used to draw mathematical shapes in books like this one?
user avatar
0 votes
1 answer
26 views

Determine the sinusoidal function that will fall entirely within the exponential envelope. [closed]

How do I determine the sinusoidal function that will lie perfectly between the two exponential functions (envelope): $1+e^{\left(-2t\right)}$ and $1-e^{\left(-2t\right)}$? Thank you in advance.
user avatar
0 votes
1 answer
49 views

Computing how many elements of a finitely generated group has a certain word length, using software?

What I want is to give the generators and relations, as well as an integer $n$, then tell the program to compute the number of elements having word length $\leq n$. Can someone please show me how to ...
user avatar
1 vote
0 answers
79 views

The first syzygy module of a binomial ideal

It is known how you compute the first syzygy module of a monomial ideal but it seems an hard work to do the same for binomial ones. I don't know any procedure to aim that, so I would like kindly if ...
user avatar
  • 125
0 votes
1 answer
30 views

How do you express $\nu_2(n)$ as a SymPy expression so that SymPy's simplification algorithm supports it?

$\nu_2(n)$ is the completely additive arithmetic function that is the maximum power $k$ such that $2^k \mid n$. How do I use SymPy to represent this function. I can calculate it by hand doing: ...
user avatar
1 vote
1 answer
38 views

How to calculate the length of a cycle $(i_1,i_2,\dots,i_k)\in S_n$ in GAP(Groups, Algorithms, Programming)?

I am new to GAP ( - Groups, Algorithms, Programming - a System for Computational Discrete Algebra). I want to calculate the length of a cycle $(i_1,i_2,\dots,i_k)\in S_n$. (I want to get $k$ from $(...
user avatar
  • 6,081
0 votes
0 answers
36 views

how to make a function for the area of a triangle in R the program?

If a, b and c are the lengths of the sides of a triangle, then the area is given by $\sqrt(s(s − a)(s − b)(s − c))$, where s = $\frac{1}{2}$( a + b + c). a) Write a function called triangle which ...
user avatar
1 vote
1 answer
47 views

How to find the longest element in a double coset of a Weyl group using SageMath?

I asked a question about computing longest element in a double coset in AskSage It has not been answered for a long time. So I asked it here. Let $W$ be a finite Coxeter group. Denote by $W_I$ the ...
user avatar
  • 13.9k
0 votes
1 answer
34 views

Does this functional equation have a solution (also is there free functional equation solving software)?

I tried typing this into Wolfram and it couldn't solve it, despite it looking simple: $f(x) = (1/2)f(x)^2.$ Does this have a non-constant solution? (initial values not yet determined)
user avatar
1 vote
0 answers
39 views

Finding $\max_{0\leq x\leq3} |f'(x)|$, $\max_{0\leq x\leq3} |f''(x)|$, and $\max_{0\leq x\leq3} |f^{(4)}(x)|$ numerically

In an numerical analysis project I need as an intermediate step to calculate the following: $$\max_{0\leq x\leq3} |f'(x)|,\ \ \max_{0\leq x\leq3} |f''(x)|\ \ \text{and}\ \ \max_{0\leq x\leq3} |f^{(4)}...
user avatar
0 votes
0 answers
48 views

datebase of formal mathematics

I am learning Logic and set theory, in the process I have made some formal proofs, but this is tedious with the traditional tools. Now, I am wondering if there exists some software or something like a ...
user avatar
1 vote
0 answers
67 views

Weyl character formula in Sagemath

I asked a question on AskSageMath: https://ask.sagemath.org/question/60597/weyl-character-formula-in-sagemath/ But no one answers. So I ask the question here. I am trying to program Weyl character ...
user avatar
  • 13.9k
0 votes
0 answers
32 views

Propositional logic simplifications

Would anyone be able to suggest to me some online calculator which can simplify propositions step by step with laws?
user avatar
0 votes
0 answers
22 views

what 3dplot software to use to create these images

Could you please tell me what software/program did the creator of these graphs use? Should I ask this in $\TeX/\LaTeX$ community?
user avatar
  • 151
-1 votes
1 answer
40 views

Formula for converting holding period return to bond equivalent yield [closed]

I installed and loaded "FinCal" package in r. When I give command "hpr2bey(hpr=0.34345,t= 7)" I got the following answer. t = number of months remaining until maturity, hpr = ...
user avatar
5 votes
4 answers
238 views

In GAP, how can I create a group isomorphic but not equal to a given group?

Sorry if the question title is confusing. Let me try to explain my question over an example. Please consider gap> G := SmallGroup(24, 12);; Without knowing that ...
user avatar
  • 333
0 votes
0 answers
22 views

software for drawing graphs (trees) [duplicate]

Sorry if I misunderstand if I can ask this type of questions in here. I would like to know names of free softwares (preferably online) where I could draw graphs like the ones on the image. Source: ...
user avatar
0 votes
0 answers
21 views

SCS deprecation warning in CVX

When using solver SCS in CVX to solve an SDP, I get the following message: ...
user avatar
  • 146
-1 votes
1 answer
67 views

Solving an 8th order polynomial in terms of unknown variables

This may be far fetched, but I have an 8th order polynomial which I would like to solve. The polynomial is expressed in terms of variables: $A, B, C, D$. From the context of the problem I know that ...
user avatar
0 votes
1 answer
54 views

How do we classify the obvious fact that $A \xrightarrow{gf} C$ can be decomposed into two arrows? Is it just notational?

The following image is of an app I'm working on called "Abstract Spacecraft". It will allow you to make logical rules and also apply them to diagrams at the click of a button, should the ...
user avatar
1 vote
1 answer
65 views

What is a good resource for computations in quadratic integer rings?

I am currently taking a course on arithmetic over domains and most of the exercises I have to solve involve things such as: check whether $5$ is a prime in $\mathbb{Z}[\sqrt{-7}]$, check whether it is ...
user avatar
0 votes
2 answers
56 views

Is there a good sofware for writing mathematical notation?

To make mathematical annotations on the computer I use Notepad, but Notepad has neither a formula editor nor almost any editor, so it very quickly starts to get harder to read equations. The other ...
user avatar
  • 243
1 vote
1 answer
83 views

Can you only construct proofs for tautologies?

I'm studying Logic and Discrete Structures and we are covering natural deduction. We're using Jape to construct proofs and I'd like to know if we can only construct proofs for a formula if it is a ...
user avatar
  • 21
0 votes
0 answers
34 views

Visualizing vanishing sets, online tools for algebraic geometry

Is there an online tool which can visualize algebraic sets such as $V(x+xy^2)$ or similar vanishing sets? More generally, are there some neat programs found online, which help getting a grasp of such ...
user avatar
  • 83
0 votes
0 answers
24 views

Existence of solution to the system $\sum_{i,j,k}c_{i,j,k}x_ix_j^*=0$

I have a system of equations where each equation is of the form \begin{equation} \sum_{i,j,k}c_{i,j,k}x_ix_j^*=0 \end{equation} where $k$ indexes the equations, $c_{i,j,k}$ are complex coefficients, ...
user avatar
  • 171
2 votes
0 answers
47 views

Hexahedral mesh generation around two cylinders junction

I need to design a mesh for Finite Element Method around the junction of two hollow cylinders. Here is an example of mesh geometry: https://i.stack.imgur.com/V0hVX.png. I've found how to generate a ...
user avatar
0 votes
0 answers
21 views

Help with getting the function to this result set

I am working on a 3-D solution right now. I am trying to stack cubes. The cubes are stacked like the following: For n cubes we do the following: The initial cube (center point) is placed at [ 0 | 0 | ...
user avatar
1 vote
1 answer
51 views

Software for plotting graphs for functions with cases

In which software it will be easy to plot the graph of functions like $$f_{2^n+j}(x)=\begin{cases}0, x\in [\frac{j}{2^n},\frac{j+1}{2^n}]\\1, x\in x<\frac{j}{2^n} \text{ or } x>\frac{j+1}{2^n}\...
user avatar
3 votes
2 answers
79 views

How to multiply polynomials in $\mathbb Z[x]/(x^n+1)$?

Consider the ring $$R_q=\mathbb Z_q[X]/(X^n + 1),$$ where $q\equiv 1 \bmod 2n$ and $n$ is a power of $2$. This is the quotient ring where the cosets are represented by polynomials up to $n-1$ in order....
user avatar
  • 543
4 votes
0 answers
120 views

Software to explore abstract algebra and/or category theory [closed]

Is there any software that lets one explore group theory, ring theory, and category theory visually and theoretically that is tailored for education purposes? I'm not talking about using software like ...
user avatar
  • 1
0 votes
1 answer
65 views

How to convert from graph6 to DIMACS (bliss) graph format

I know there is a tool to convert from graph6 file format to DIMACS (bliss) file format for graphs, but I am not able to find it now. Somebody can help me?
user avatar
  • 1,869
0 votes
2 answers
162 views

Graphing parametric equation software? Desmos/Mathematica/ other math software?

I want to view what the graph of, for example, $x=\sin t,\quad y = \sin(10t)$ looks like, but not as a static graph $\ y=f(x),\ $ but rather one where we can see the movement of the point on the $\ x-...
user avatar
0 votes
1 answer
143 views

Why isn't there an app that allows you to enter in all the rules of a given formal system so that the app supports all formal systems of math?

I'm jumping around between articles about ETCS to Simple TT to Calculus of Constructions wondering what my app should focus on. I'm wondering, why there isn't yet a software app in which you can ...
user avatar
3 votes
1 answer
89 views

Why isn't $\forall x \in X, P(x)$ the same thing as a map of types $P:X \to \text{TrueProp}$?

For example, $\forall x \in X, P(x)$ can be viewed as a map $P : X \to \text{TrueProp}$ the collection of true propositions. Why do we make the distinction in type theory, which seems to want to ...
user avatar
1 vote
3 answers
114 views

Evaluating $\frac{100x^{100}+98x^{98}+96x^{96}+\cdots+6x^6+4x^4+2x^2}{99x^{99}+97x^{97}+95x^{95}+\cdots+5x^5+3x^3+x}$ for $x=99$ billion

Approximately what is the value of $f$ evaluated at $99$ billion, where \begin{equation*} f(x) = \frac{100x^{100} + 98x^{98} + 96x^{96} + \dotsb + 6x^6+4x^4+2x^2} {99x^{99}+97x^{97}+...
user avatar
  • 18.2k
3 votes
1 answer
201 views

Programming (Computer Algebra System) for Paired Suborbits

The orbits of $G \leq Sym(\Omega)$ on $\Omega × \Omega$ are called the orbitals of $G$ on $\Omega$. For each orbital $\Delta$ there is a paired orbital denoted $\Delta'$, where $(y, x) \in \Delta'$ if ...
user avatar
3 votes
0 answers
54 views

Group theory libraries in C?

Are there any (ideally well-known/optimized) C libraries that implement basic group theory? I'm familiar with GAP but from what I can tell it can't be used as a C library and included in other C ...
user avatar
  • 359

1
2 3 4 5
23