( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.

, , и . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Puangrat Yongvanit

Oliver Kiaman

Saman Kiamehr

Li Yong

Karn Yongsiriwit

 

Другие публикации лиц с тем же именем

Switched Systems as Hybrid Programs., и . ADHS, том 54 из IFAC-PapersOnLine, стр. 247-252. Elsevier, (2021)Formalizing Coppersmith's Method in Isabelle/HOL., , и . CICM, том 14960 из Lecture Notes in Computer Science, стр. 127-145. Springer, (2024)Pegasus: A Framework for Sound Continuous Invariant Generation., , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 138-157. Springer, (2019)Functional Big-Step Semantics., , , и . ESOP, том 9632 из Lecture Notes in Computer Science, стр. 589-615. Springer, (2016)Certified MaxSAT Preprocessing., , , , , и . CoRR, (2024)Differential Equation Invariance Axiomatization., и . CoRR, (2019)Implicit Definitions with Differential Equations for KeYmaera X - (System Description)., , , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 723-733. Springer, (2022)Deductive Stability Proofs for Ordinary Differential Equations., и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 181-199. Springer, (2021)ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving., , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 141-161. EasyChair, (2019)An Axiomatic Approach to Liveness for Differential Equations., и . FM, том 11800 из Lecture Notes in Computer Science, стр. 371-388. Springer, (2019)