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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1981-2017
02419812017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The primary quench detection for ITER magnets is classically based on resistive voltage measurements. In addition, a safety… (More)
  • figure 1
  • table I
  • figure 4
  • figure 2
  • figure 5
Is this relevant?
2012
2012
During a fast discharge of the TF system, eddy currents and high associated heat production in the winding plates can induce a… (More)
  • figure 1
  • figure 4
  • figure 2
  • figure 5
  • figure 3
Is this relevant?
2010
2010
Recent design changes to the ITER Poloidal Field (PF) coils and PF conductor layout have been implemented to give a greater… (More)
  • figure 1
  • table I
  • figure 2
  • table II
  • figure 3
Is this relevant?
2007
2007
An active quench protection system is planned to safely guard the superconducting coils of a 36 T hybrid magnet during a quench… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2006
2006
This paper presents our Linux/RTOS hybrid operating environment constructed upon Gandalf VMM. Gandalf can host multiple RTOSes… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Review
1997
Review
1997
We give a brief overview of the first-order classical logic component in the Gandalf family of resolution-based automated theorem… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Different programming projects require different environments, but handcrafting a separate environment for each project is not… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1985
Highly Cited
1985
 
Is this relevant?
1981
1981
We state a set of criteria that has guided the development of a metric system for measuring the quality of a largescale software… (More)
  • table 1
  • table 2
  • figure 1
  • table 4
  • figure 2
Is this relevant?