10

Answers
votes newest views recent
1
Equational logic
1
Is finitism an extreme form of constructivism?
0
Algorithm for summing certain sums involving the floor function
0
The use of the word “model” in Mathematical Logic vs the same word in Natural Sciences
3
Enumerative algorithm through inclusion-exclusion
9
Facts from algebraic geometry that are useful to non-algebraic geometers
1
Is there a simple inductive procedure for generating labeled trees uniformly at random, without direct recourse to Prüfer sequences?
1
How do proof verifiers work?
3
Non-isomorphic graphs of given order.
2
How to generate a net on a 8-dimensional sphere