dpalma's user avatar
dpalma's user avatar
dpalma's user avatar
dpalma
  • Member for 8 years, 3 months
  • Last seen more than a month ago
0 votes
1 answer
2k views

CNF formula induction proof

1 vote
1 answer
1k views

propositional logic entailment proof

1 vote
1 answer
820 views

Fixed Point for finding a root

6 votes
5 answers
633 views

Limit of trigonometric function $\lim_{x\to\pi/3} \frac{1 - 2\cos(x)}{\sin(x - \frac{\pi}{3})}$

0 votes
2 answers
363 views

Quaternion Multiplication: What is the correct way of doing it?

2 votes
1 answer
347 views

Is it possible that a Runge-Kutta method has a global error of 0?

2 votes
1 answer
220 views

Fitting a curve given points

0 votes
5 answers
105 views

Solving equation with exponential, not numerically

0 votes
1 answer
99 views

Propositional Logic False S

0 votes
1 answer
92 views

Bayesian Nets and weird probability

4 votes
1 answer
69 views

Show that for each $\mathbf{Pno}$ object $(A, \alpha, a)$ there is a unique arrow $(\mathbb{N}, \mathrm{succ}, 0) \to (A, \alpha, a)$

0 votes
1 answer
54 views

Under which conditions is $\|AB\|_2 = \|A\|_2\|B|\|_2$

1 vote
1 answer
43 views

Solid of revolution how to set the regions