First Page | Document Content | |
---|---|---|
Date: 2018-08-15 07:19:09Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set | Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem proverAdd to Reading ListSource URL: isabelle.in.tum.deDownload Document from Source WebsiteFile Size: 361,50 KBShare Document on Facebook |
Spiral phases from a systematic low-energy effective field theory for magnons and holes in an antiferromagnet on the honeycomb lattice MasterarbeitDocID: 1vfJ2 - View Document | |
Automated lattice perturbation theory Chris Monahan College of William and Mary/JLab MotivationDocID: 1uPEq - View Document | |
Extracting B physics from lattice simulations via lattice perturbation theoryDocID: 1uNLQ - View Document | |
EFFECTIVE FIELD THEORY FOR LATTICE NUCLEI U. van Kolck Institut de Physique Nucléaire d’Orsay and University of ArizonaDocID: 1uLeZ - View Document | |
Lattice 2016: 2nd Circular Lattice 2016: The 34th International Symposium on Lattice Field Theory http://www.southampton.ac.uk/lattice2016/DocID: 1tiWS - View Document |