en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof-assistants - This is page 1 - GeneraCodice
What were the shortcomings of Robinson's resolution procedure?
https://www.generacodice.com/en/articolo/2475739/what-were-the-shortcomings-of-robinson-s-resolution-procedure
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
How hard would it be to state P vs. NP in a proof assistant?
https://www.generacodice.com/en/articolo/2474191/how-hard-would-it-be-to-state-p-vs-np-in-a-proof-assistant
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
Given an array $A$ and an index $c$, prove there always exists a subarray whose sum $\pmod {i} = 0$
https://www.generacodice.com/en/articolo/2468778/given-an-array-a-and-an-index-c-prove-there-always-exists-a-subarray-whose-sum-pmod-i-0
proof-assistants
cs.stackexchange
Proving a solution for the $n$-Queens Puzzle
https://www.generacodice.com/en/articolo/2468702/proving-a-solution-for-the-n-queens-puzzle
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
on coq: Why is the proof complete after proving only for one induction when we have more than one variable?
https://www.generacodice.com/en/articolo/2468046/on-coq-why-is-the-proof-complete-after-proving-only-for-one-induction-when-we-have-more-than-one-variable
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Find a threshold such that one function is always bigger than the other
https://www.generacodice.com/en/articolo/2446159/find-a-threshold-such-that-one-function-is-always-bigger-than-the-other
recursion
-
proof-assistants
cs.stackexchange
Can someone pelase give a counter example of it? If a problem is in NP then there is no known polynomial time algorithm to solve it
https://www.generacodice.com/en/articolo/2443619/can-someone-pelase-give-a-counter-example-of-it-if-a-problem-is-in-np-then-there-is-no-known-polynomial-time-algorithm-to-solve-it
np-complete
-
np
-
proof-assistants
cs.stackexchange
Why proving the solution of a problem is polynomial time is sufficient enough to say that it is a NP prolbem? [duplicate]
https://www.generacodice.com/en/articolo/1607585/why-proving-the-solution-of-a-problem-is-polynomial-time-is-sufficient-enough-to-say-that-it-is-a-np-prolbem-duplicate
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can?
https://www.generacodice.com/en/articolo/1603474/why-cannot-match-bool-equiv-bool-with-refl-while-1-equiv-1-can
proof-assistants
cs.stackexchange
What does it mean if we disable K-rule in Agda?
https://www.generacodice.com/en/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
Results found: 75