Computational mathematics involves mathematical research in areas of science where computing plays a central and essential role, emphasizing algorithms, numerical methods, and symbolic methods.

learn more… | top users | synonyms

8
votes
0answers
373 views

Why are there mathematicians that do not use computers?

I was watching a video on Andrew Wiles and his proof of Fermat's Last Theorem and I quite liked the video, especially the complexity of the proof only to prove a simple concept which can be understood ...
4
votes
0answers
58 views

Finding every $n$ such that $n\times$ ('reverse' number of $n)=m^2$ such as $1584\times 4851={2772}^2$

Let $r(n)$ be the 'reverse' number of $n$ in the decimal system. For example, $r(1234)=4321$. Then, here is my question. Question : Can we find every $n(\in\mathbb N)$, which is not a square ...
4
votes
0answers
249 views

“Green Globs” question

When I was in high school geometry, we had a fun little game on the computer called Green Globs (the website for the software is http://www.greenglobs.net/index.html). A number of targets (globs) are ...
4
votes
0answers
492 views

Obtain a contradiction

Motivation : The motivation is to show that the equation $x^{2b}.x^{2a} +(3-x^{2b}) x^{a} + (1-s^2)=0 $ has no solutions in integers for any values of $x,b,a,s$ ( choosen as per the constraints ...
3
votes
0answers
41 views

Algorithm for primary decomposition of ideals in a power series ring over a field

Let $K$ be a field such that there exists an algorithm for factoring a polynomial over $K$ into the product of irreducible polynomials. For example, the field of rational numbers $\mathbb{Q}$ is such ...
3
votes
0answers
102 views

$\pi$, disjunctive numbers, and finite sequences of given length

It is an open problem whether the number $\pi$ is disjunctive in base $10$, i.e., whether every finite sequence appears (at least once) in the base $10$ expansion of $\pi$. Of course, every sequence ...
3
votes
0answers
46 views

Supremum over unitary group action

Let $A$ and $B$ are two given Hermitian operators on matrix algebra $M_n(\mathbb{C})$. $A$ is positive semi-definite with unit trace. I want to know the general method for calculating the following ...
2
votes
0answers
31 views

Quantitatively comparing event trains of different lengths for Poissonness

I have a parameterized, effectively black box process that generates a series of events (simulated action potentials). Different parameter values often lead to different numbers of events. How can I ...
2
votes
0answers
45 views

Computing the decomposition of a representation of $S_n$

I have an explicitly defined representation of the symmetric group that I would like to decompose into irreducibles. How to do this most easily? The best approach I have so far is as follows: Find a ...
2
votes
0answers
36 views

LLL and factoring polynomials in $\Bbb Z[x]$

Given a degree $2k$ reducible polynomial $f(x)=\sum_{i=0}^{2k}a_ix^i\in\Bbb Z[x]$ with $gcd(a_{2k},\dots,a_0)=1$ that is known to be of the form $f_1(x)f_2(x)$ with $deg(f_i(x))=\frac{deg(f(x)}{2}=k$ ...
2
votes
0answers
84 views

Using GAP to compute the abelianization of a subgroup

Let $K$ be the group generated by four elements $x_1,\cdots,x_4$ with relations that each generator commutes with all its conjugates. (An equivalent relation is, any simple commutator with repeated ...
2
votes
0answers
72 views

Solving a particular system of Diophantine equations in $n$ variables (Frobenius equations)

I have a particular system of linear Diophantine equations in $n$ variables for which I need to find all nonnegative integer solutions. Specifically, they are Frobenius equations, meaning the ...
2
votes
0answers
28 views

Computing a particular finite set of quaternion matrices.

Let $B = \left(\frac{-1,-11}{\mathbb{Q}}\right)$ be a choice of quaternion algebra ramifying at $11$ and consider the maximal order ...
2
votes
0answers
173 views

How to convert a hologram into an image?

Suppose one knows in full detail the phase and intensity of monochromatic light in a plane. This is basically what a hologram records, at least for some section of a plane. By using this as the ...
2
votes
0answers
278 views

Logistic regression algorithm in Casio and Texas Instruments calculators

When using logistic regression on a Casio or Texas Instruments calculator, the output is of the form $$f(x) = \frac{c}{1+ae^{-bx}} $$ The problem I have (when teaching in a class where both types of ...
2
votes
0answers
55 views

is there a computationally efficient formula for computing the mutual information between two continuous variables?

I need to compute the mutual information between two continuous variables. Below is an equation shown to compute the mutual information between a variable $X$ and $Y$. $I(X;Y) = \int_Y \int_X ...
2
votes
0answers
339 views

Clarification on different types of solutions: analytical, closed form, iterative, algorithmic,

When doing computation, there are different types of solutions: analytical, closed form, iterative, algorithmic, exact, approximate, ... (there are probably more than I just listed and please don't ...
2
votes
0answers
244 views

Optimal division sequences for divide-and-conquer algorithms

Say we have a discrete data set of some size, and we can use a recursive divide-and-conquer algorithm to process the data in some way (an FFT for example). The naive solution is, say, $n^2$ in ...
1
vote
0answers
24 views

Generating N-dimensional points acording to given distribution

I searched here on Math.SE and haven't found anything that was exactly what I was looking for, so I'm posting it here. If there is anything, pardon my ignorance. I thought it was my first post here, ...
1
vote
0answers
26 views

Find allowed error of an argument regarding the allowed error of a function.

To what precision can $x$ be obtained with logarithmic table (with $5$ digit table) if $x$ lies between $300$ and $400$? Any ideas?
1
vote
0answers
49 views

What exactly is 'computer mathematics'?

I'm looking at some potential things to study next semester and I see a full B.sc. degree called 'Computer mathematics'. It says it's a hybrid between computer-science and mathematics. Does anyone ...
1
vote
0answers
96 views

Two-layer Perceptron for XOR

I'm reading Neural Networks for Pattern Recognition by Christopher M. Bishop. It's for a physics class, but I think the problem is closer to mathematics so I'm asking here instead of PSE. Chapter 4 of ...
1
vote
0answers
150 views

Minimum number of iterations in Newton's method to find a square root

I am writing an algorithm that evaluates the square root of a positive real number $y$. To do this I am using the Newton-Raphton method to approximate the roots to $f(x)=x^2-y$. The $n^{th}$ iteration ...
1
vote
0answers
73 views

Lamé's equation - elliptic PDE?

I have a specific PDE in 3-dimensional space + time (the right one). u(x,t) is the unknown function (values are in R^3) and F(x,t) the right hand side, mu and lambda are positive constants. Now ...
1
vote
0answers
25 views

Nonlinear optimization using parallel input/output

I have a system that accepts a vector and returns a function value. The goal is to change the elements of the vector such that the function value is minimized using a derivative-free solver, eg. using ...
1
vote
0answers
39 views

The Command “TzGoGo” in GAP

I am learning GAP and would like to ask one question about a command called "TzGoGo": If $P$ is a finite presentation of a group $G$, then will the eventual result of the command "TzGoGo(P)" be ...
1
vote
0answers
41 views

Urgently Seeking for Help in Calculating the Abelian Invariants of a Group with GAP

I have asked a more complicated question here but I decided to start with an easier version: Let $K_3$ be the group generated by three elements $a$, $b$, $c$ subject to the relation that every simple ...
1
vote
0answers
188 views

Solving large, sparse system of linear equations

I have a system of linear equations as follows: $$(A+I)x=B$$ where $I$ is the $n\times n$ identity matrix, $A$ is a $n\times n$ matrix such that the first and last rows are blank, and, for every ...
1
vote
0answers
13 views

Tools for optimizing asymptotic bounds.

Is there any tool for this task ? Given the asymptotic bound in term of $n$ and other paramaters $t_1,\dots,t_r$, then return the value for each $t_i$ which optimizes the expression in term of $n$, ...
1
vote
0answers
23 views

Model to reward adaptative communication

I'm currently working in different simulations focused on the study of artificial evolution of communications in robots, and I have stumbled against the problem of its mathematic formulation. The ...
1
vote
0answers
153 views

Power sums, fast algorithm

I know some schemes to compute power sums (I mean $1^k + 2^k + ... + n^k$) (here I assume that every integer multiplication can be done in $O(1)$ time for simplicity): one using just fast algorithm ...
1
vote
0answers
158 views

Confusion related to state equivalence of finite state machines

I have this confusion if there are two states of a machine p and q. Let x be an input string such that length of x = k, g be the output function and let g(p,x) and g(q,x) be the output when the input ...
1
vote
0answers
101 views

Collaborative modular exponentiation

EDIT: Rephrased. I have, stored somewhere, the values $a$ , $Q$, $N_1$ (plus its factor) and $a^{2Q} \mod N_1$. I also know $b$, $R$ and $N_2$ (but not its factors). I want to know whether there is ...
1
vote
0answers
133 views

Calculation of stopping condition for Conjugate Gradient

I am a person with programming background and need some math help. I am looking at the source code for an implementation of the Conjugate Gradient iterative solver ...
1
vote
0answers
69 views

lower bounds for maximum computing times for integer factorisation

Supposing that n were known to have two prime factors, and that the computer had a database of all the primes $<\sqrt{n}$. Then, unless n is square, one factor would be $<\sqrt{n}$. If an ...
1
vote
0answers
94 views

calculating multivariable integrals

I having a look at how to calculate using PC a multivariable integrals. I am reading about the Quasi Montecarlo methods using the following (t, m, s)-Nets and (t, s)-Sequences Faure sequences My ...
1
vote
0answers
60 views

Computing relations on the columns of a matrix

Given an $m\times n$ (with $n>m)$ matrix $M$ over a polynomial ring $R=k[x_1,...,x_n]$, suppose that every column of $M$ is an $R$-linear combination of $m$ specified columns. I would like to ...
0
votes
0answers
7 views

Am I converting this Context Free Grammar correctly?

My homework problem is to convert this context free grammar into Chomsky Normal Form. ...
0
votes
0answers
19 views

finding the least non-zero of a multivariable polynomial

Let $P(x_1,x_2,...,x_m)$ be a homogeneous polynomial of degree n, with integers coefficients. How can you find the least* $a=(a_1,a_2,...,a_m)$, where $a_i$ are positive integers and $P(a)!\neq 0$? ...
0
votes
0answers
31 views

Is there a way to expand Re(Li(a^z)) in series?

I'm searching a way to expand $ f(z) = Re(Li(a^z)), a \in R, z \in C $ in series. The computer-friendly, quickly convergent series is a huge plus. For being 'computer-friendly' I mean a relatively ...
0
votes
0answers
28 views

Properties of linear systems involving band matrices

Let $N$ be a positive integer, $A$ be a square matrix of size $2N+1$, and $x$ and $b$ be vectors of size $2N+1$. All the elements of $b$ are nonzero except for the middle element, $b_{N+1}$. Also, $A$ ...
0
votes
0answers
11 views

Echo State Network learning Mackey-Glass function, but how?

I got this example of a minimal Echo State Network (ESN) which I analyse while trying to understand Echo State Networks. Unfortunately I have some problems understanding why this really works. It all ...
0
votes
0answers
23 views

Binary Algorithms

I was wondering. How is it that integrals are done via computers. I can understand basic functions and exponentials but how do you put an integral into binary form so that a computer can do its magic? ...
0
votes
0answers
107 views

Computation mathematics, sequences and roots

a) For $n=1,2,3..,$ let $I_n = \int_0^1 \frac{x^{n-1}}{2-x} dx$ Writing $x^n = x^{n-1}(2-(2-x))$, show that this sequence of numbers satisfies the recurrence relation: $I_{n+1} = 2I_n - ...
0
votes
0answers
34 views

Polytime programming

Given a linear system of the form: $$x_r = a$$ $$x_j = b$$ $$c_1x_1 + c_2x_2 ... c_nx_n = n$$ $$x_1 + x_2 + x_3 ... x_n = k $$ $$0 \leq a,b,x_1, x_2, x_3 ... x_n \leq 1$$ $$k \geq 0$$ How quickly ...
0
votes
0answers
93 views

Effects of numerical integration stepsize on impulse inputs (e.g., delta function)

Some models of neurons treat synaptic input (from other neurons) as a single impulse, such as the Dirac delta. But doesn't this make the magnitude of that impulse a function of numerical integration ...
0
votes
0answers
52 views

Constrained computational optimization of a functional of a vector valued function.

I am trying to increase the efficiency of a program I have written that must run in real time. I am asking this question in a broad sense, since I'm not sure what tools are available to me. I am ...
0
votes
0answers
100 views

Simpson's rule characteristics

I just wanted to ask a quick question in regards to simpson's rule for integration. I have been reading up on the trapezoidal rule, and have found the notations and have an understanding such that: ...
0
votes
0answers
139 views

Solving an overdetermined system of inequalities using null-space arguments

The solutions to a linear system of equations: $$A\cdot x = b$$ (where $x$ is a $(n\times 1)$ column vector, $b$ is a $(m\times 1)$ column vector and $A$ is $(m\times n)$ matrix) can all be ...
0
votes
0answers
172 views

A (contour?) integration (even if by using Mathematica!)

I need to be able to calculate integrals of this type where the sum over $R$ is the sum over representations of a Lie group $G$ on whom $dU$ is the Haar measure and $\chi _ R ()$ is the character of ...