# Questions tagged [mathematical-programming]

Using a computer to implement mathematics. For questions about (mathematical) optimization, (also) use the optimization tag.

120 questions
Filter by
Sorted by
Tagged with
74 views

### Number of ways to connect sets of $k$ vertices in a perfect $n$ -gon [closed]

This is a copy of my post at Mathexchange.com, as my question is still not fully answered and I really wanna find a solution to this. Feel free to refer to there for useful comments and partial ...
5k views

### Are there any compression algorithms based on PI?

What we know is that π is infinite and quite likely it contains every possible finite string of digits (disjunctive sequence). I've seen recently some prototype of πfs which assume that every file ...
63 views

### Exponential maths operator

I have written a math library which handles really big numbers with good precision. Each digit is stored in a nibble and a 'nibble array' makes up the number. There is no epsilon portion, as for ...
6 views

### Decimal exponents [duplicate]

I've written a library which stores numbers as an array of nibbles. You set the digits and decimal places at compile time. I've written all basic math +-*/% but I'm not sure how to do exponentiation (...
257 views

### What advanced math topics are recommended for computer science? [closed]

I am enrolled in a computer science degree at the moment. I have looked around trying to find answers, but people tend to ask 'what is the minimum math needed for computer science' as opposed to what ...
2k views

### Matrix Multiplication Algorithms for Non-Square Matrices

I'm interested in learning about some of the algorithms available for multiplying non-square matrices, yet despite exhaustive Googling efforts I have been unable to find any discussions of such ...
270 views

### C++: Minimization Using Levenberg Marquardt to Solve for Two Variables [closed]

I am trying to solve this equation using C++: X and Y are both given sets of data. X = [x1, x2, ... , xn], Y = [y1, y2, ... , yn] a is a given integer. The goal is to find a pair z and k that ...
400 views

### Japanese Multiplication simulation - is a program actually capable of improving calculation speed? Or am I doomed from the start?

On SuperUser, I asked a (possibly silly) question about processors using mathematical shortcuts and would like to have a look at the possibility at the software application of that concept. I'd like ...
1k views

### Is it possible to accurately determine the number of instructions required to multiply or add two integers in a modern processor?

I'm not nearly at the experience level in computer science to be able to properly determine the number of instructions involved in basic ALU calculations, and I'm interested in a certain software ...
42 views

### Solving for the matrix $W$ in an equation involving $W \cdot W^{T}$

Having large matrices, $W$ (the unknown) and $M$ (known), is it possible to solve for $W$ in this equation $$W \cdot W^{T} = M,$$ where $M$ can have negative entries.
1k views

### Euclidean Algorithm in Coq

Question How do I write more intuitive proofs of the two following results in Coq? ...
2k views

### Theorem Proofs in Coq

Background I am learning assistance, Coq, on my own. So far, I have completed reading Yves Bertot's Coq in a Hurry. Now, my goal is to prove some basic results concerning the natural numbers, ...