Showing results (21-30 of 39) with videos related to
Sort By:
Pageof 4
Journal of Automated Reasoning|August 3, 2018
The Role of the Mizar Mathematical Library for Interactive Proof Development in MizarGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, et al.Journal of Automated Reasoning|March 8, 2021
Machine Learning Guidance for Connection TableauxMichael Färber, Cezary Kaliszyk, Josef UrbanJournal of Automated Reasoning|May 3, 2023
Unifying SplittingGabriel Ebner, Jasmin Blanchette, Sophie TourretJournal of Automated Reasoning|August 25, 2020
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOLRené Thiemann, Ralph Bottesch, Jose Divasón, et al.Journal of Automated Reasoning|May 16, 2023
Synthesising Programs with Non-trivial ConstantsAlessandro Abate, Haniel Barbosa, Clark Barrett, et al.Journal of Automated Reasoning|November 10, 2022
A Formalization of the Smith Normal Form in Higher-Order LogicJose Divasón, René ThiemannJournal of Automated Reasoning|March 8, 2021
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract AccelerationDario Cattaruzza, Alessandro Abate, Peter Schrammel, et al.Journal of Automated Reasoning|August 3, 2018
Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsMoritz Sinn, Florian Zuleger, Helmut VeithJournal of Automated Reasoning|August 3, 2018
Genetic Programming Proof Search Automatic ImprovementZoltan A Kocsis, Jerry SwanJournal of Automated Reasoning|August 3, 2018
A Verified ODE Solver and the Lorenz AttractorFabian ImmlerPageof 4