The tag has no usage guidance.

learn more… | top users | synonyms

-4
votes
0answers
82 views

Maple and Mathematica struggling with integral [closed]

I got this problem thrown at me, unfortunatly I lack context at the moment but I thought Maple or Mathematica would solve it anyways. I have a function f over x and y such as this (Maple) ...
0
votes
1answer
145 views

A three variable linear diophantine promise problem

Given $a,b,c,s\in\Bbb N$ such that $(a,b,c)=1$ with promise that we have at most one triple $x,y,z\in\Bbb N$ such that $ax+by+cz=s$, what is a good algorithm that runs in $O(\log(abcs))$ time to find ...
1
vote
0answers
95 views

How to check with a CAS if a surface is of general type?

The main question is: How to check with a CAS if a surface is of general type? Magma's function KodairaEnriquesType is close to this, but doesn't always work. ...
3
votes
1answer
116 views

Faithful linear representation of a nilpotent Lie algebra

Let \begin{align} \mathfrak{g} = Span_{\mathbb{C}}\{ e_1, e_2, e_3, e_4, e_5: \text{ non-zero brackets are } [e_1, e_i]=e_{i+1}, i=2,3,4, [e_2, e_3]=e_5 \} \end{align} be a $5$-dimensional Lie ...
93
votes
16answers
22k views

Mathematical software wish list

Like many other mathematicians I use mathematical software like SAGE, GAP, Polymake, and of course $\LaTeX$ extensively. When I chat with colleagues about such software tools, very often someone has ...
21
votes
3answers
783 views

What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...
2
votes
2answers
278 views

Suggestions for dealing with the “timed” balls-into-bins model

Definitions: Let $T$ (for "time") be a random variable $T \sim \text{Exp}(\lambda)$ and $\Delta t$ is a realization (or called an observed value) of $T$. Let $D$ (for "delay") be a random variable $D ...
0
votes
0answers
65 views

Programmatically computing dual Hopf Algebras: State of the art:

Given a graded Hopf algebra of finite type, we know the (graded) linear dual is also a graded Hopf algebra. For instance the dual Hopf algebra to the polynomial algebra on an even degree generator, ...
0
votes
1answer
108 views

Samuel multiplicity

Let $X$ be the hyper-surface defined by $$f:=\sum_{i=1}^k x_i^n=0$$ in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal $$I=(x_1^{n-1},\dots , x_k^{n-1}) $$ What is ...
1
vote
0answers
122 views

Intersection Multiplicity

Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...
0
votes
0answers
26 views

Column Subset Selection implementations

Are there readily available implementations of algorithms for the CSSP - Column Subset Selection Problem?
2
votes
1answer
199 views

finiteness dimension

$R$ is a local Noetherian ring. $f_I(M)$, the finiteness dimension of a module $M$ relative to $I$, is defined in ...
4
votes
0answers
117 views

Papers/Programs for computing periodic KL polynomials?

Periodic Kazhdan-Lusztig polynomials (for an affine Weyl group) are polynomials that control Jordan-Holder multiplicities for certain representations ("baby Verma modules") of an algebraic group in ...
1
vote
1answer
245 views

intuitive interpretation of analytic spread

I am studying analytic spreads from Bruns-Herzog's book. The definition is clear but calculation of the analytic spread of an ideal is hard for me in practice. I wonder if it is hard for you too. ...
0
votes
0answers
66 views

Computer software for manipulating loop groups or matrices with polynomial entries

I need to deal with loop groups $LG$ over the complex numbers $\mathbb{C}$, as well as related spaces like the affine Grassmannian and affine flag variety a lot. In type A, the loop group consists ...
4
votes
1answer
163 views

Decomposing representations of finite groups of Lie type via computer

This is related to my previous question here. Let me remind you what that question asked: Let $\text{St}_n(\mathbb{F}_q)$ be the Steinberg module (over $\mathbb{C}$) for ...
4
votes
0answers
158 views

Is the ISC kaput [closed]

The very useful Inverse Symbolic Calculator is showing me this What's up? multiple choice (a) No, it's fine at that address: idiot Edgar did something wrong... (b) It is off-line at that ...
1
vote
0answers
129 views

current status of combinatorial optimization solvers [closed]

What is the current status of the solvers in combinatorial optimization? For example, what is the "usual feasible size" for a traveller sale's man problem, say, how many nodes and edges are "usually ...
5
votes
0answers
160 views

How many simultaneous polynomial equations of degree 2 can software solve today?

Consider the following problem: Input: $n$ polynomial equations of degree $2$ in approximately $n$ variables. Each equation contains about $\sqrt{n}$ monomials. We would like to find one ...
8
votes
1answer
284 views

Software for computing Thurston's unit ball

Is there any software which can be used for computing Thurston's unit ball(for second homology of 3-manifolds) of link complements? In particular can I do that with SnapPy? PS: even a table for ...
3
votes
1answer
605 views

Use a graphic tablet to write in Latex or MathML [closed]

I have a Graphic Tablet and I am looking for a software which have the following features: Math equation recognition I want to write and solve math equations in Graphic Tablet and auto recognized to ...
1
vote
0answers
282 views

Method used in fmincon() of Matlab? [closed]

We are using the Matlab optimization toolbox function fmincon() to solve a constrained minimization with only equality constraints. We wish to find out which particular constrained optimization method ...
2
votes
2answers
135 views

Software producing complex trees

Does anyone know any kind of graph software that could produce graphs like this for publication? Those links and crosses and numbers actually needs to be presented…. Thank you:) One small update, ...
7
votes
2answers
929 views

Why are there so few zero-dimensional polynomial system solvers and is this because there is no real market for them?

My questions involve the quotes below from wikipedia regarding solving polynomial systems, which given the size of the market for Big Data & Predictive Analysis applications I find puzzling: ...
4
votes
1answer
478 views

Mathematica package for supergravity and string theory

I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...
3
votes
0answers
79 views

Choice of MIP (mixed integer programming) solver

I would start using MIP solver for the research on the tiling. I know (heard of) the open source solver jump: https://github.com/JuliaOpt/JuMP.jl and also the gold standard solver from IBM cplex. ...
5
votes
1answer
526 views

Program for calculating cohomology

Does it exist a computer program which calculates the cohomology of projective algebraic varieties ? For example, smooth surface in $\mathbb{P}^3$? like $\sum_0^3 X_i^3=0$
5
votes
0answers
136 views

Software for BMW algebra calculations?

Does software exist for computations in the BMW algebra? For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...
14
votes
2answers
424 views

Which tools can identify scholarly papers that use the same types of equations?

Many types of equations are being used in multiple contexts, so a search for specific formulas might be one way to identify scholarly papers that are conceptually related. Is any website or tool ...
-1
votes
1answer
188 views

Good software for solving a system of algebraic equations [closed]

I need to solve the following system of equations. solve([ a*c*e=a2*c2*e2, b*d*f=t*b2*d2*f2, t*a1*c1*e1=a3*c3*e3, b1*d1*f1=b3*d3*f3, a*b*a1*b1=a2*b2*a3*b3, c*d*c1*d1=c2*d2*c3*d3, ...
10
votes
0answers
201 views

real algebraic geometry software?

Does anyone have suggestions/experience for any software packages to study real algebraic varieties (for example, counting connected components of hypersurfaces, figuring out the topological type of ...
3
votes
2answers
211 views

Markov Partitions for toral automorphisms

I know that my question is more practical than theoretical. But, I do know where to look for the theoretical sources. I want to find a program in the case that it exists (does it?), or to program it. ...
1
vote
2answers
152 views

Software for noncommutative Groebner bases over rational function fields

I am wondering whether there is any software package that can compute Groebner bases for noncommutative algebras defined over the field of rational functions $\mathbb{Q}(q)$. I have tried the GAP ...
2
votes
0answers
580 views

Mathematica package for Lie algebra computations?

I am interested in performing Lie algebra computations in Mathematica. I did a bit of searching and found several packages (LieART, KILLING, SuperLie, maybe more), and wondered if anyone would ...
2
votes
1answer
151 views

Looking for software that computes intersection numbers (Heegaard Diagrams)

As a part of my research I am working with intersection matrices of Heegaard diagrams. Is there some software that could help me compute such matrices for some examples? Thanks.
15
votes
3answers
657 views

What is the state of the art for algorithmic knot simplification?

Question: Given a `hard' diagram of a knot, with over a hundred crossings, what is the best algorithm and software tool to simplify it? Will it also simplify virtual knot diagrams, tangle diagrams, ...
1
vote
1answer
91 views

Softwares to draw euclidean polyhedral surfaces

Let $S$ be an abstract euclidean polyhedral surface. By this, I mean a orientable compact 2D topological surface obtained by gluing together some (convex) euclidean polygons (arbitrary genus). ...
2
votes
1answer
146 views

elliptic integral with singularities

I need to calculate elliptic integrals with singularities, up to a huge number of digits (250-1000). The problem is that Wolfram Mathematica can't do so many digits, and Pari intnum doesn't handle ...
5
votes
2answers
1k views

Integral with Dirac delta (me or wolfram mathematica?) [closed]

I asked the question on math.stackexchange but didn't get an answer so I came here. I tried to compute with Wolfram Mathematica the following integral $$I=\int_0^\pi\int_{-\infty}^\infty x e^{-\mathrm ...
1
vote
1answer
151 views

Generating k-partite graphs

Does there exist an efficient algorithm for generating all non-isomorphic k-partite graphs up to a certain order $n$? I've read through the nauty tutorial, but it doesn't look like anything beyond ...
3
votes
4answers
1k views

Solving a System of Quadratic Equations

I have many polynomial equations in many variables which I want to jointly minimize (in a mean square sense, but you could pick a different reasonable measure which favors anything where all ...
3
votes
2answers
286 views

Force-directed graph drawing in 1D?

I have a real-world graph that I wish to draw in one dimension. Here's the graph: I'd like to draw it using some kind of force-directed graph drawing method. I'm supposing this is both possible ...
2
votes
1answer
447 views

Finding zeros of a multi-variable nonlinear trigonometric function

I am trying to calculate analytic solution (or locus) of zeros of a very large multi-variable function which is consisted of thousands of nonlinear trigonometric terms. All the variables are real ...
0
votes
3answers
372 views

System of quadratic equations with 18 unknown

So I want to solve for a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r which satisfy the following system of equations: ( I only need positive integer (or 0) solution) a g + c h + b i + g j + i ...
2
votes
0answers
226 views

Reducing a System of Polynomial Equations

I am currently writing a program in SAGE which computes Nilpotent Orbit Varieties for an Algebraic Geometry research project and I have reduced my problem to the following: Consider a system of ...
0
votes
0answers
128 views

Series expansion with remaining $log n$

Hi, I'm studying the asymptotic behavior $(n \rightarrow \infty)$ of the following formula, where $k$ is a given constant. $$ \frac{1}{n^{k(k+1)/(2n)}(2kn−k(1+k) \ln n)^2}$$ I'm trying to do a ...
1
vote
1answer
244 views

Sage or Magma Implementation of Nilpotent Orbit Varieties

For a given partition $[n_{1},...,n_{k}]$ of $N \in \mathbb{N}$ there exists a corresponding nilpotent orbit variety $O_{[n_{1},...,n_{k}]}$ in $\mathfrak{gl}(N)$ which can be represented by a set of ...
1
vote
1answer
814 views

Software to numerically solve partial differential equation

When we use software to numerically solve differential equation, for example, using finite difference, finite element or finite volume methods, etc., is it possible that people input differential ...
31
votes
3answers
3k views

$\prod_{n=1}^{\infty} n^{\mu(n)}=\frac{1}{4 \pi ^2}$

When I tested this in Mathematica, I had expected it to say it did not converge. However, I got this: $$\prod_{n=1}^\infty n^{\mu(n)}=\frac{1}{4 \pi ^2}$$ Note: this is the reciprocal of (3) ...
2
votes
1answer
163 views

Once punctured torus bundles in snappy/twister

I have been trying to learn about snappy's method for encoding once-punctured torus bundles (http://www.math.uic.edu/t3m/SnapPy/manifold.html#snappy.Manifold). As you can see from the link, they are ...