Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,055,265 papers from all fields of science
Search
Sign In
Create Free Account
Don Syme
Known as:
Syme
Don Syme is an Australian computer scientist and a Principal Researcher at Microsoft Research, Cambridge, U.K. He is the designer and architect of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Automated proof checking
Benevolent dictator for life
C++
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
ReviewEpilepsy and chromosomal abnormalities
G. Sorge
,
A. Sorge
2015
Corpus ID: 30942711
Background: Many chromosomal abnormalities are associated with Central Nervous System (CNS) malformations and other neurological…
Expand
2015
2015
Prajna : Cloud Service and Interactive Big Data Analytics ( Distributed Platform Building Leverage Functional Programming )
Jin Li
,
S. Mehrotra
,
Weirong Zhu
2015
Corpus ID: 15679431
Apache Spark has attracted broad attention in both academia and industry. When people talk about Spark, the first thing that…
Expand
2014
2014
The Triumph of Caesarism. An unfinished Book by Ronald Syme
F. Santangelo
2014
Corpus ID: 160723117
2002
2002
Stratigraphy of VMS-hosting Volcanic and Volcaniclastic Rocks of the Flin Flon Formation, Flin Flon-Creighton area, Saskatchewan and Manitoba
K. MacLachlan
,
K. Gilmore
2002
Corpus ID: 131419387
Detailed stratigraphy, 1:500 scale mapping, and clast counts and descriptions have established several distinctive eruptive and…
Expand
1999
1999
Living expressions: An initial understanDing
M. Landa
1999
Corpus ID: 125922482
Living E xpressions: An Initial Understanding
1998
1998
Interaction for Declarative Theorem Proving
Don Syme
1998
Corpus ID: 5868879
This article is concerned with interactive support for \declarative theorem proving". After introducing declarative theorem…
Expand
1987
1987
Ronald Syme, Salluste (traduit par Pierre Robin), Paris, Les Belles Lettres, Annales littéraires de l'Université de Besançon, 1982, 327 p.
P. Moreau
Annales: Histoire, Sciences Sociales
1987
Corpus ID: 182819285
conquête romaine, particulièrement dans cette phase chronologique cruciale, ne peut se passer de l'analyse approfondie et…
Expand
Highly Cited
1983
Highly Cited
1983
Historia Augusta Papers
R. Syme
1983
Corpus ID: 190428630
This volume brings together fifteen studies written since 1972 on the notorious Historia Augusta. Syme advances the theory…
Expand
1974
1974
Caractéristiques pomologiques des régimes de bananiers poyo dans quatre zones de Côte d'Ivoire
A. Lassoudière
,
A. Badolo
,
F. Hiema
1974
Corpus ID: 86162807
Caracteristiques pomologiques de regimes recoltes dans 4 secteurs differents de Cote d'Ivoire compares entre eux et avec les…
Expand
1939
1939
Ronald Syme. Caesar, the Senate and Italy. Extrait de Papers of the British School at Rome, vol. XIV
R. Scalais
1939
Corpus ID: 163530598