user avatar
user avatar
user avatar
Mitch
  • Member for 12 years, 4 months
  • Last seen this week
  • http://--
15 votes

Facts from algebraic geometry that are useful to non-algebraic geometers

3 votes

Enumerative algorithm through inclusion-exclusion

3 votes

Non-isomorphic graphs of given order.

2 votes

How to generate a net on a 8-dimensional sphere

2 votes

Equational logic

1 vote

What is the definition of "canonical"?

1 vote

Is finitism an extreme form of constructivism?

1 vote

How do proof verifiers work?

1 vote

Is there a simple inductive procedure for generating labeled trees uniformly at random, without direct recourse to Prüfer sequences?

0 votes
Accepted

The use of the word "model" in Mathematical Logic vs the same word in Natural Sciences

0 votes

Algorithm for summing certain sums involving the floor function