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

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

1 2 3 ... 10 11 12 next

  1. Cruz-Filipe, Luís; Heule, Marijn J.H.; Hunt Jr., Warren A.; Kaufmann, Matt; Schneider-Kamp, Peter: Efficient certified RAT verification (2017)
  2. Friedl, Stefan: An elementary proof of the group law for elliptic curves (2017)
  3. Heule, Marijn; Hunt, Warren jun.; Kaufmann, Matt; Wetzler, Nathan: Efficient, verified checking of propositional proofs (2017)
  4. Lambán, Laureano; Martín-Mateos, Francisco J.; Rubio, Julio; Ruiz-Reina, José-Luis: Using abstract stobjs in ACL2 to compute matrix normal forms (2017)
  5. Nagele, Julian; Felgenhauer, Bertram; Zankl, Harald: Certifying confluence proofs via relative termination and rule labeling (2017)
  6. Rashid, Adnan; Hasan, Osman: Formalization of transform methods using HOL Light (2017)
  7. Aransay, Jesús; Divasón, Jose: Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (2016)
  8. Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody: A heuristic prover for real inequalities (2016)
  9. Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume: Formalization of real analysis: a survey of proof assistants and libraries (2016)
  10. Cano, Guillaume; Cohen, Cyril; Dénès, Maxime; Mörtberg, Anders; Siles, Vincent: Formalized linear algebra over elementary divisor rings in Coq (2016)
  11. Liu, Shaoying: Testing-based formal verification for theorems and its application in software specification verification (2016)
  12. Maletzky, Alexander: Mathematical theory exploration in Theorema: reduction rings (2016)
  13. Nipkow, Tobias: Automatic functional correctness proofs for functional search trees (2016)
  14. Smith, Eric; Coglio, Alessandro: Android platform modeling and android app verification in the ACL2 theorem prover (2016) ioport
  15. Zhang, Nan; Duan, Zhenhua; Tian, Cong: A complete axiom system for propositional projection temporal logic with cylinder computation model (2016)
  16. Zhang, Nan; Yang, Mengfei; Gu, Bin; Duan, Zhenhua; Tian, Cong: Verifying safety critical task scheduling systems in PPTL axiom system (2016)
  17. Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef: Mizar: state-of-the-art and beyond (2015)
  18. Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume: Coquelicot: a user-friendly library of real analysis for Coq (2015)
  19. Davis, Jared; Myreen, Magnus O.: The reflective Milawa theorem prover is sound (down to the machine code that runs it) (2015)
  20. Eberhard, Sebastian; Hetzl, Stefan: Inductive theorem proving based on tree grammars (2015)

1 2 3 ... 10 11 12 next