Pages that link to "Item:Q1124373"

The following pages link to A refutational approach to geometry theorem proving (Q1124373):

Displaying 21 items.

• Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
• Using geometric rewrite rules for solving geometric problems symbolically (Q685375) (← links)
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
• A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
• Geometric reasoning with logic and algebra (Q918227) (← links)
• A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
• Application of Gröbner bases to problems of movement of a particle (Q1324423) (← links)
• Limits of theory sequences over algebraically closed fields and applications. (Q1421482) (← links)
• Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
• A software tool for the investigation of plane loci (Q1861521) (← links)
• Automatic determination of envelopes and other derived curves within a graphic environment (Q1887816) (← links)
• Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases (Q1912176) (← links)
• Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
• A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
• Proof-checking Euclid (Q2631965) (← links)
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
• When Is a Formula a Loop Invariant? (Q2945711) (← links)
• On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
• On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons (Q5453490) (← links)
• Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking (Q5852118) (← links)
• Geometry machines: from AI to SMC (Q6560378) (← links)