Kudryashov, Yury
- Aristotle: IMO-level Automated Theorem Proving
2025/10/01 by Tudor Achim, Alex Best, Alex J. Best +46 · 3 voices · 8 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #cs.AI #cs.CL
- Bifurcations of the polycycle "tears of the heart": multiple numerical\n invariants
2018/08/22 by Nataliya Goncharuk, Yury Kudryashov, Goncharuk, Nataliya +1 · 1 citation
Computer Science · Mathematics · Physics and Astronomy · #34C23 #37E35 #37G99 #Advanced Differential Equations and Dynamical Systems #Dynamical Systems (math.DS) #FOS: Mathematics #Nonlinear Dynamics and Pattern Formation #Quantum chaos and dynamical systems