Pages that link to "Item:Q1101257"

The following pages link to Basic principles of mechanical theorem proving in elementary geometries (Q1101257):

Displaying 24 items.

• Computing final polynomials and final syzygies using Buchberger's Gröbner bases method (Q2639107) (← links)
• The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings (Q2799559) (← links)
• Attacking Bivium and Trivium with the Characteristic Set Method (Q3011904) (← links)
• Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
• Symmetry reductions, exact solutions, and conservation laws of the generalized Zakharov equations (Q3450529) (← links)
• A New Method for Solving Polynomial Systems with Noise over $\mathbb{F}_2$ and Its Applications in Cold Boot Key Recovery (Q3455484) (← links)
• (Q4384625) (← links)
• GEOTHER: A geometry theorem prover (Q4647511) (← links)
• Elimination Techniques for Program Analysis (Q4916078) (← links)
• Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
• A strategy for speeding-up the computation of characteristic sets (Q5096863) (← links)
• Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition (Q5175452) (← links)
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method (Q5210787) (← links)
• Computational Origami Construction as Constraint Solving and Rewriting (Q5403476) (← links)
• Computer algebra methods in the study of nonlinear differential systems (Q5413125) (← links)
• On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra (Q5505483) (← links)
• A systematic framework for solving geometric constraints analytically (Q5926297) (← links)
• Computing the radical of an ideal in positive characteristic (Q5945292) (← links)
• Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros (Q6087590) (← links)
• Bifurcation analysis and complex dynamics of a Kopel triopoly model (Q6099476) (← links)
• A signature-based algorithm for computing the nondegenerate locus of a polynomial system (Q6108370) (← links)
• Automated discovery of angle theorems (Q6185786) (← links)
• A program to create new geometry proof problems (Q6185788) (← links)
• Geometry machines: from AI to SMC (Q6560378) (← links)