# Tagged Questions

**1**

vote

**0**answers

309 views

### The used symbols for equality and equivalence

Background: I am currently developing a general purpose programming language which allows formal verification (i.e. correctness proofs) of programs. During the development it came out that a lot of ...

**2**

votes

**1**answer

312 views

### Complexity of computing derivatives

Sorry if this is too simple. This is my first question here.
Suppose $f : R^n \to R$ is a differentiable function. Say that we can compute in $T$ arithmetic operations the value $f(x)$ at any point ...

**1**

vote

**1**answer

146 views

### Signed minimum?

I am looking for references to papers which might have defined a 'signed minimum' equivalent to
$$smin(x,y) ::= \left(\frac{\textit{signum}(x)+\textit{signum}(y)}{2}\right)\cdot \min(|x|,|y|) $$
where ...