# Tagged Questions

Using computers to solve algebraic problems. Questions with this tag should typically include at least one other tag indicating what sort of algebraic problem is involved, such as ac.commutative-algebra or rt.representation-theory.

2k views

### Basis for modular forms of half-integral weight

Given a character $\chi$ and $k$ odd how can one compute a basis for the space of modular forms $M_\frac{k}{2}(\Gamma_0(4),\chi)$. By compute a basis I mean, finding the beginning of the Fourier ...
705 views

365 views

### Counting points on varieties of low codimension

The graduate students here at MIT have been thinking about questions like the following: Over $\mathbb{F}\_q$, how many symmetric matrices are there with nonzero determinant and $0$'s on the diagonal? ...
110 views

### Properties of adjacent submatrixes [closed]

Hi! I've encountered a matrix problem when designing an algorithm, which I cannot seem to figure out. I have a (square) matrix with the following properties: j<k → aij<aik, aji<aki aij&...
2k views

### Can Gröbner bases be used to compute solutions to large, real-world problems?

In particular, suppose I have an affine algebraic variety over $\mathbb{R}^n$ described by generators of a radical ideal $I$ and I want to find (perhaps not all of the) points in the variety. Several ...
2k views

### Symmetrical Presentation of 4-Dimensional Rotation Matrix

This question is not urgent; just a matter of curiosity... It is relatively easy to generate an arbitrary 3D or even 4D rotation matrix using conjugation (i.e. YXY−1) of orthogonal rotations. I ...
4k views

### Finding minimal or canonical expressions for Boolean truth tables

This is not an urgent question, but something I've been curious about for quite some time. Consider a Boolean function in n inputs: the truth table for this function has 2n rows. There are uses of ...
2k views

### Is there a non self-referencing non-computable function?

I've seen in college that some functions are not computable. The proof for that was the case of Halt(x,y) function. The thing is, the proof used a very artificial (IMHO) case which is evaluating ...
398 views

### CAS for finding closed form solutions to PDEs and SDEs?

Are there any specialized Computer Algebra Systems (or packages for these) for finding closed form solutions to a) partial differential equations, b) stochastic differential equations? If yes, what ...
1k views

### Is there a stable algorithm for polynomial division (in several variables)?

Suppose you have a homogeneous ideal $I$ inside the algebra $\mathbb{C}[x_1,...,x_d]$ of complex polynomials in $d$-variables. Can one find a basis for $I$, say $\{f_1,...,f_k\}$, such that every \$h \...
443 views

### Sections of a divisor on elliptic curve

I'm interested in producing explicit bases for the sections of a line bundle on an embedded genus 1 curve. Let me restrict to the first case that I don't know how to do, so that I can be as concrete ...
4k views

### Which computer algebra system should I be using to solve large systems of sparse linear equations over a number field?

This is related to Noah's recent question about solving quadratics in a number field, but about an even earlier and easier step. Suppose I have a huge system of linear equations, say ~10^6 equations ...
16k views

### Most helpful math resources on the web

What are really helpful math resources out there on the web? Please don't only post a link but a short description of what it does and why it is helpful. Please only one resource per answer and let ...
401 views

### Software for rigorous optimization of real polynomials

I am looking for software that can find a global minimum of a polynomial function in R^n over a polyhedral domain (given by some linear inequalities say). The number of variables n is not more than a ...
637 views

### Is there a software package that does Schubert Calculus computations?

Is there a good software package for doing computations in the cohomology ring of Grassmannians? Things like, I can write down a polynomial in, in fact, special Schubert classes, but it's one where ...