Results 161 to 170 of about 39,214 (275)

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities [PDF]

Haoyu Zhao, Yihan Geng, Sui Tang, Yong Lin, Bohan Lyu, Hui Lin, Chi Jin, Sanjeev Arora   +7 more
openalex   +1 more source

Criteria for oscillation of noncanonical superlinear half-linear dynamic equations. [PDF]

Sci Rep
Hassan TS, Cesarano C, Mesmouli MB, Madani YA, Abdel Menaem A, Tchalla AMJ, Glalah BA.   +6 more
europepmc   +1 more source

An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)

, 2015
Hidetune Kobayashi, Yoko Ono
openalex   +1 more source

Minimal reduct for propositional circumscription. [PDF]

Front Artif Intell
Xie Z, Wang Y, Yang L, Feng R.
europepmc   +1 more source

Stability analysis of heterogeneous oligopoly games of increasing players: A computational approach. [PDF]

PLoS One
Hou R, Li X, Wan W.
europepmc   +1 more source

Automated Theorem Prover

, 2013
N. Dekkers
openalex   +1 more source

An automated tableau theorem prover for FO(ID) [PDF]

, 2008
Stephen R. Bond, Marc Denecker
openalex  

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving [PDF]

Yang Li, Dong Du, Linfeng Song, Li Chen, Wei‐Kang Wang, Tao Yang, Haitao Mi   +6 more
openalex   +1 more source

Solving olympiad geometry without human demonstrations. [PDF]

Nature
Trinh TH, Wu Y, Le QV, He H, Luong T.
europepmc   +1 more source

Applications of automated theorem proving methods to multi-agent systems

, 2006
Tadashi Araragi
openalex   +1 more source