Heriot-Watt University)

Identifiers

• name variant Heriot-Watt University) 0.60 · backfill

Papers (2)

1. Machine Learning in Proof General: Interfacing Interfaces cs.AI · 2012 · author #7
2. Fat Fisher Zeroes cond-mat.stat-mech · 2001 · author #5

Mentions

• 1212.3618 #7 · backfill · confidence 0.70 Heriot-Watt University)

Frequent Coauthors

• Computer Sciences 1 shared papers
• D.A. Johnston 1 shared papers
• Ekaterina Komendantskaya (School of Computing 1 shared papers
• Gudmund Grov (School of Mathematical 1 shared papers
• J\'onathan Heras (School of Computing 1 shared papers
• M. Stathakopoulos (Dept of Mathematics 1 shared papers
• University of Dundee) 1 shared papers
• University of Leipzig) 1 shared papers
• W. Janke (ITP 1 shared papers