# Tagged Questions

All mathematical questions about computer science, including theoretical computer science, formal methods, verification, and artificial intelligence. For questions about Turing computability, please use the (computability) tag instead. For numerical analysis, use the (numerical-methods) tag. For ...

14 views

### Complexity of matrix inverse

I'm trying to determine the exact complexity of finding an $n\times n$ matrix inverse of $A$. If it is known that the complexity of Gaussian elimination if $\frac{2}{3}n^3 + \frac{1}{2}n^2+O(n)$, then ...
7k views

### What is the difference between discrete and continuous mathematics?

I am studying computer science and this has me absolutely flummoxed. The definition I can find is that discrete data is countable and that continuous is uncountable. Examples are given stating that ...
55 views

### Is there a mathematical difference between currying and partial application?

I know the following example doesn't make what I am saying rigorous, but hopefully it clarifies to some extent what I mean. For various computer implementations, dividing by 2 and multiplying by 0....
24 views

### 37 percent rule with second-chance-allowed

What is the math behind this? fragment from book Algorithms to Live By: The Computer Science of Human Decisions For example, assume an immediate proposal is a sure thing but belated proposals are ...
185 views

50 views

### How to rewrite all the boolean operations using if-then-else operator?

Cited by Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987, p. 105 Additional Boolean operations are not needed, because all the usual Boolean ...
27 views

### How does $af(n) < f(bn)$ imply that $a^i f(1) < f(b^i)$? [closed]

From CLRS 4.6.3 I don't understand how you can exponentiate functions in that way...
21 views

### What should be the expected error of a 4th order Runge-Kutta integration in a multivariable (non-linear) context?

I am writing a program where the user input $n$ variables, their initial values and differential equations. They may be non-linear. To find the value of the variables at a time $(t_0 + T)$, I use 4th ...
14 views

20 views

### Find a set of vertices $U\subseteq V$ included in some simple cycle

Let $G=(V,E)$, an un-directed graph. Find an efficient algorithm to return a $U\subseteq V$, where $u\in U$ is in some simple cycle of $G$. So basically we've learned in class about the $low$ ...
50 views

### Hyperplane Problem

Given $M$ points in $\mathbb{R}^{N}$, (where $M$ is larger than $N$) I was wondering if there is an approximation algorithm to find a hyperplane which goes through the origin and also intersects as ...
144 views

### integer sequences

Is anybody aware if there exists good computer software which tries to find, in a brute force manner, patterns in given finite sequences of numbers. For example , if you would give the Fibonacci ...