Quang M. Tran

Identifiers

• name variant Quang M. Tran 0.60 · backfill

Papers (1)

1. The MathScheme Library: Some Preliminary Experiments cs.MS · 2011 · author #6

Mentions

• 1106.1862 #6 · backfill · confidence 0.70 Quang M. Tran

Frequent Coauthors

• Filip Jeremic 1 shared papers
• Jacques Carette 1 shared papers
• Russell O'Connor 1 shared papers
• Vincent Maccio 1 shared papers
• William M. Farmer 1 shared papers