References in zbMATH (referenced in 281 articles , 1 standard article )

Showing results 1 to 20 of 281.
Sorted by year (citations)

1 2 3 ... 13 14 15 next

  1. Guan, Yong; Zhang, Jingzhi; Wang, Guohui; Li, Ximeng; Shi, Zhiping; Li, Yongdong: Formalization of Euler-Lagrange equation set based on variational calculus in HOL light (2021)
  2. Hóu, Zhé; Sanan, David; Tiu, Alwen; Liu, Yang; Hoa, Koh Chuen; Dong, Jin Song: An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model (2021)
  3. Kaufmann, Matt; Moore, J. Strother: Limited second-order functionality in a first-order setting (2020)
  4. Temel, Mertcan; Slobodova, Anna; Hunt, Warren A. Jr.: Automated and scalable verification of integer multipliers (2020)
  5. Tsachouridis, Vassilios A.; Giantamidis, Georgios; Basagiannis, Stylianos; Kouramas, Kostas: Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (2020)
  6. Araújo, João; Kinyon, Michael; Robert, Yves: Varieties of regular semigroups with uniquely defined inversion (2019)
  7. Barthe, Gilles; Betarte, Gustavo; Campo, Juan Diego; Luna, Carlos: System-level non-interference of constant-time cryptography. I: Model (2019)
  8. Johansson, Moa: Lemma discovery for induction. A survey (2019)
  9. Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong: Formalization of geometric algebra in HOL Light (2019)
  10. Moore, J. Strother: Milestones from the Pure Lisp Theorem Prover to ACL2 (2019)
  11. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  12. Raggi, Daniel; Stockdill, Aaron; Jamnik, Mateja; Garcia Garcia, Grecia; Sutherland, Holly E. A.; Cheng, Peter C.-H.: Inspection and selection of representations (2019)
  13. Wang, Meng; Tian, Cong; Zhang, Nan; Duan, Zhenhua; Du, Hongwei: Verifying a scheduling protocol of safety-critical systems (2019)
  14. Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban: DeepMath - Deep Sequence Models for Premise Selection (2018) arXiv
  15. Carette, Jacques; Farmer, William M.; Laskowski, Patrick: HOL Light QE (2018)
  16. Czajka, Łukasz; Kaliszyk, Cezary: Hammer for Coq: automation for dependent type theory (2018)
  17. Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri: Iterated ultrapowers for the masses (2018)
  18. Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
  19. Hupel, Lars; Nipkow, Tobias: A verified compiler from Isabelle/HOL to CakeML (2018)
  20. Page, Rex; Gamboa, Ruben: Essential logic for computer science (2018)

1 2 3 ... 13 14 15 next