Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,134,515 papers from all fields of science
Search
Sign In
Create Free Account
Gandalf (theorem prover)
Known as:
Gandalf (disambiguation)
, Gandalf theorem prover
Gandalf is a first-order automated theorem prover applied to several domain-specifictasks such as Semantic web. It has also participated in The CADE…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Automated theorem proving
Resolution (logic)
SCM
Scheme
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Stability of a cable in conduit conductor under fast magnetic field variations
J. Duchateau
,
B. Turck
,
B. Lacroix
,
M. Schwarz
,
A. Torre
,
L. Zani
IEEE transactions on applied superconductivity
2012
Corpus ID: 24313163
Under fast magnetic field variations, ac losses are deposited in a Cable in Conduit Conductor (CICC). The corresponding power…
Expand
2009
2009
Quench Analysis of the KSTAR TF Magnets and Bus Lines for the First Campaign
H. Lee
,
D. Oh
,
Y. Chu
,
Y.M. Park
,
S. Park
,
Y. Oh
IEEE transactions on applied superconductivity
2009
Corpus ID: 38254545
In the Korea Superconducting Tokamak Advanced Research (KSTAR) device, the Toroidal Field (TF) coils were manufactured with Nb3Sn…
Expand
2007
2007
Analysis of the Quench Protection System of a Series Connected Hybrid Magnet
I. Dixon
,
A. Gavrilin
,
J.R. Miller
,
J. Powell
,
B. Brandt
IEEE transactions on applied superconductivity
2007
Corpus ID: 24407291
An active quench protection system is planned to safely guard the superconducting coils of a 36 T hybrid magnet during a quench…
Expand
2005
2005
Perilous Realms: Celtic and Norse in Tolkien's Middle-Earth
M. Burns
2005
Corpus ID: 190111168
Acknowledgments A Note on Spelling Abbreviations Introduction 1. Two Norths and Their English Blend 2. Skin-Changing in More than…
Expand
1999
1999
Heat slug propagation in QUELL. Part I: Experimental setup and 1-fluid GANDALF analysis
R. Zanino
,
C. Marinucci
1999
Corpus ID: 56064790
1999
1999
The hydraulic solver Flower and its validation against the QUELL experiment in SULTAN
C. Marinucci
,
L. Botturak
IEEE transactions on applied superconductivity
1999
Corpus ID: 24804578
Knowledge of the hydraulic boundary conditions is a prerequisite for accurate estimates of the quench characteristics of…
Expand
1995
1995
Numerical simulations of the QUELL experiment in SULTAN
C. Marinucci
1995
Corpus ID: 121202016
The QUench Experiment on Long Length (QUELL) in the SULTAN Facility is planned to investigate the quench propagation and…
Expand
1995
1995
Major Issues on Process Software Engineering Environments
N. Belkhatir
,
M. Ahmed-Nacer
Information Sciences
1995
Corpus ID: 205005186
1985
1985
Automatic generation of execution tools in a GANDALF environment
V. Ambriola
,
C. Montangero
Journal of Systems and Software
1985
Corpus ID: 36444888
1980
1980
An experience with parallelism in Ada
D. Notkin
SIGPLAN Conferences and Workshops
1980
Corpus ID: 17928166
One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE