A graphical strategy language for proof re-use Gudmund Grov Heriot-Watt University with contributions from: Lucas Dixon, Alan Bundy, Ewen Maclean & other AI4FM project partners

Source URL: www.ai4fm.org

• Herstal
• Isabelle
• FN
• Conjecture
• Transport
• Economy of Belgium

IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

Source URL: homepages.inf.ed.ac.uk

Emily Hong, Laura Moy, and Isabelle Styslinger BROADBAND TRUTH-IN-LABELING EMPOWERING CONSUMER CHOICE THROUGH STANDARDIZED DISCLOSURE July 2015

Source URL: static.newamerica.org

A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK

Source URL: homepages.inf.ed.ac.uk

• Automated theorem proving
• Logic
• Theoretical computer science
• Mathematical logic
• Isabelle
• IsaPlanner
• Proof assistant
• Mathematical proof
• Automated proof checking
• Rippling
• Theorem
• Proof

SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012

Source URL: www.ai4fm.org

• Theoretical computer science
• Software
• Logic
• Proof assistants
• Automated theorem proving
• Formal systems
• Logical truth
• Proof theory
• Isabelle
• ACL2
• Coq
• Proof

Result Analysis of the NIPS 2003 Feature Selection Challenge Isabelle Guyon ClopiNet Berkeley, CA 94708, USA

Source URL: papers.nips.cc

Psychological Assessment Further Insights on the French WISC–IV Factor Structure Through Bayesian Structural Equation Modeling Philippe Golay, Isabelle Reverte, Jérôme Rossier, Nicolas Favez, and Thierry Lecerf Onlin

Source URL: www.statmodel.com

Pacific Symposium on Biocomputing 7:A stability based method for discovering structure in clustered data Asa Ben-Hur£ , Andre ElisseeffÝ and Isabelle Guyon£ BioWulf Technologies LLC £ 2030 Addison st. Su

Source URL: psb.stanford.edu

Termination of Isabelle Functions via Termination of Rewriting? Alexander Krauss,1 Christian Sternagel,2 Ren´e Thiemann,2 Carsten Fuhs,3 and J¨ urgen Giesl3 1

Source URL: verify.rwth-aachen.de

Time Reversal for 5G mm-wave overlay networks Marc-Antoine BOUZIGUES1, Isabelle SIAUD1, Anne-Marie ULMER-MOLL1 and Maryline HELARD2 {marcantoine.bouzigues, isabelle.siaud, annemarie.ulmermoll}@orange.fr, maryline.helard@

Source URL: www.miweba.eu