Impact
~40k
people reached
- 0 posts edited
- 1 helpful flag
- 462 votes cast
Sep
22 |
answered | Classification of tangles? |
May
29 |
comment |
How true are theorems proved by Coq?
@DavidRoberts: I am not sure the precise reference, but I know this is something that Peter Hancock and Anton Setzer have studied deeply. Here are some slides by Peter Hancock, which end with the claim in question: cs.swan.ac.uk/~csetzer/russell08/slides/hancock.pdf |
May
9 |
comment |
Table of planar connected graphs
@this_is_an_apple such illustrated tables are included in the atlas by Jackson and Visentin I referenced above. Since you are considering planar graphs with multiple edges up to embedding-preserving isomorphism, it sounds like the objects you are interested in are precisely what are known as "planar maps". |
May
9 |
answered | Table of planar connected graphs |
Apr
1 |
answered | Embedding of classical into intuitionistic linear logic |
Apr
1 |
comment |
Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic
there are a few references I might suggest, depending on what exactly you have in mind. But since that is a different question, I think the modus operandi for this site would be to accept my answer to your first question (if you think it is resolved), then post your second question separately, with a new title. That way it might also get noticed by people who didn't happen to click on the first question. |
Mar
31 |
answered | Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic |
Nov
22 |
awarded | Civic Duty |
Oct
23 |
awarded | Yearling |
Oct
5 |
answered | Has philosophy ever clarified mathematics? |
Oct
4 |
accepted | How to understand a rooting of a dessin d'enfant? |
Oct
4 |
comment |
How to understand a rooting of a dessin d'enfant?
Thanks! Your simple formulation of rooted dessins d'enfants makes sense to me, and I appreciate the pointers. |
Oct
4 |
asked | How to understand a rooting of a dessin d'enfant? |
Sep
25 |
comment |
Questions about dessin d'enfants, trees and their Shabat polynomials
this doesn't answer all your questions, but I asked a somewhat related question recently on stackexchange (about how to plot the dessin associated to a Belyi function, in Maple), and then posted the answer (which I learned of offline): math.stackexchange.com/questions/941628/… |
Jul
2 |
awarded | Curious |
May
15 |
awarded | Nice Answer |
May
13 |
revised |
What is the effect of adding 1/2 to a continued fraction?
added an explicit description of the Raney transducer for adding 1/2 |
May
13 |
awarded | Necromancer |
May
12 |
answered | What is the effect of adding 1/2 to a continued fraction? |
Apr
1 |
comment |
defining a bicategory of real-valued matrices
Thank you, this is helpful. I am still interested in the original example (in particular, real-valued matrices with ordinary matrix multiplication) and whether it can be given something like the structure of a proarrow equipment, but it's helpful to have spelled out how this example differs from $\mathbf{Rel}$. |