permutation

270 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
I'm trying to build a proof in Coq that two different permutation definitions are equivalent, but the non-inductive side is not working
user_198878590
•
2
1
64
induction coq permutation proof logic
Is it possible to compute the sign of a permutation in linear time?
user_63004670
•
1
1
37
circular-permutations permutation numpy
Find all combinations of tuples inside of a list
user_176249480
•
3
1
43
combinations permutation itertools python
Joint construction of a random permutation and its inverse using NumPy
user_63165120
•
1
1
52
permutation python-3.x numpy
Permutation matrix with dynamic variable (days), each day should "generate" one for-loop?
user_198281820
•
2
1
32
permutation matrix java
Given a set of permutations return one specific number
user_175134170
•
1
1
33
permutation numbers list python
Permutation with recursion not printing all values in python?
user_197239860
•
1
3
55
permutation recursion python
Is there a Python function to compute minimal L2 norm between 2 matrices up to column permutation?
user_195889760
•
3
1
65
permutation metrics numpy algorithm python
get permutations of dict nested with dicts
user_104651650
•
1
4
61
permutation itertools dictionary python
Select matrix rows that are permutations of a given vector
user_196522790
•
10
8
551
permutation subset r matrix
Hot Questions