期刊： JOURNAL OF AUTOMATED REASONING, 2021; 65 (6)
Automated discovery of geometric theorems has attracted considerable attention from the research community. In this paper, a new method is proposed to......
期刊： JOURNAL OF AUTOMATED REASONING, 2020; 64 (1)
In real-time systems with threads, resource locking and priority scheduling, one faces the problem of Priority Inversion. This problem can make the be......
期刊： JOURNAL OF AUTOMATED REASONING, 2020; 64 (1)
This paper studies the satisfiability problem of poly-power constraints (conjunctions of poly-power equations and inequalities), in which poly-powers ......
期刊： JOURNAL OF AUTOMATED REASONING, 2019; 63 (3)
Although the theories of geometric algebra (GA) are widely applied in engineering design and analysis, the studies on their formalization have been sc......
期刊： JOURNAL OF AUTOMATED REASONING, 2018; 61 (1-4)
An operating system (OS) kernel forms the lowest level of any system software stack. The correctness of the OS kernel is the basis for the correctness......
期刊： JOURNAL OF AUTOMATED REASONING, 2017; 59 (3)
In this paper, we investigate the problem that the conclusion is true on some components of the hypotheses for a geometric statement. In that case, th......
