6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Certification of Bilateral Patience Sort in Theorema and Rocq
Isabela Drǎmnesc, Tudor Jebelean, Sorin Stratulat
This is a case study on a specific version of the Patience Sort algorithm in which we illustrate the evolution of it from an intuitive but inefficient nested recursion into a more…
cs.LO2019★ 6 cited
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema
Isabela Drămnesc, Tudor Jebelean
Using multisets, we develop novel techniques for mechanizing the proofs of the synthesis conjectures for list-sorting algorithms, and we demonstrate them in the Theorema system. We…