Mitch's user avatar
Mitch's user avatar
Mitch's user avatar
Mitch
  • Member for 14 years, 2 months
  • Last seen more than a week ago
  • http://--
16 votes

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

3 votes

Enumerative algorithm through inclusion-exclusion

2 votes

How to generate a net on a 8-dimensional sphere

2 votes

Non-isomorphic graphs of given order.

2 votes

Equational logic

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

0 votes

What is the definition of "canonical"?