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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

Illegal memory accesses are a serious security vulnerability that have been exploited on numerous occasions. In this letter, we…

2014

The study of communication between natural environment and humanity—ecosemiotics—often proves perplexing for ecosemioticians and…

2012

Under fast magnetic field variations, ac losses are deposited in a Cable in Conduit Conductor (CICC). The corresponding power…

2009

In the Korea Superconducting Tokamak Advanced Research (KSTAR) device, the Toroidal Field (TF) coils were manufactured with Nb3Sn…

2007

An active quench protection system is planned to safely guard the superconducting coils of a 36 T hybrid magnet during a quench…

2003

Join Frodo, Gandalf, Aragorn, and brave members of he Fellowship as they continue their quest to destroy the Ring of Power. As…

2002

In the framework of the ITER (International Thermonuclear Experimental Reactor) FEAT (Fusion Energy Advanced Tokamak) project, a…

1999

Knowledge of the hydraulic boundary conditions is a prerequisite for accurate estimates of the quench characteristics of…

1995

The QUench Experiment on Long Length (QUELL) in the SULTAN Facility is planned to investigate the quench propagation and…

1980

One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high…