Look up: Snark

1. snark
   [Lewis Carroll, via the Michigan Terminal System] 1. A system failure. When a user's process bombed, the operator would get the message 'Help, Help, Snark in MTS!' 2. More generally, any kind of unexplained or threatening event on a computer (especially if it might be a boojum). Often used to refer...
   Found on http://foldoc.org/snark
   
   
2. Snark
   (from the article `rocket and missile system`) The Snark was an air force program begun in 1945 to produce a subsonic (600-mile-per-hour) cruise missile capable of delivering a 2,000-pound atomic ...
   Found on http://www.britannica.com/eb/a-z/s/114
   
   
3. Snark
   nickname for the New Track Construction Machine (NTC)
   Found on http://www.scot-rail.co.uk/page/Glossary
   
   
4. Snark
   (Lewis Carroll) The `Snark` is a fictional animal species created by Lewis Carroll in his nonsense poem The Hunting of the Snark. His descriptions of the creature were, in his own words, `unimaginable`, and he wanted that to remain so.<ref name="gardner">The Annotated Snark
   Found on http://en.wikipedia.org/wiki/Snark
   
   
5. Snark
   (graph theory) J₅ is one of 6 snarks on 20 vertices. In the mathematical field of graph theory, a `snark` is a connected, bridgeless cubic graph with chromatic index equal to 4. In other words, it is a graph in which every vertex has three neighbors, and the edges cannot be c...
   Found on http://en.wikipedia.org/wiki/Snark
   
   
6. SNARK
   (theorem prover) `SNARK, (SRI`s New Automated Reasoning Kit)`, is a theorem prover for multi-sorted first-order logic intended for applications in artificial intelligence and software engineering. SNARK`s principal inference mechanisms are resolution and paramodulation; in addition it offers ...
   Found on http://en.wikipedia.org/wiki/SNARK