The following pages link to (Q4153620):
Displaying 47 items.
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- The kernel method and systems of functional equations with several conditions (Q609206) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (Q616847) (← links)
- An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space (Q646765) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- Formal solutions of differential equations (Q803209) (← links)
- A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930) (← links)
- Stability analysis for Lotka-Volterra systems based on an algorithm of real root isolation (Q869558) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
- On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
- Using Gröbner bases to reason about geometry problems (Q1094150) (← links)
- Basic principles of mechanical theorem proving in elementary geometries (Q1101257) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
- Computer assistance for ``discovering'' formulas in system engineering and operator theory (Q1282332) (← links)
- Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm (Q1311408) (← links)
- Ordering in mechanical geometry theorem proving (Q1368227) (← links)
- Traveling wave solutions for nonlinear equations using symbolic computation (Q1609129) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
- Simultaneous solution of polynomial equations. (Q1855901) (← links)
- Computer aided proof for the global stability of Lotka-Volterra systems (Q1921255) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Parameter identification on abelian integrals to achieve Chebyshev property (Q2033878) (← links)
- The monotonicity of ratios of some abelian integrals (Q2220332) (← links)
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems (Q2463841) (← links)
- A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
- Kernel method and linear recurrence system (Q2483349) (← links)
- An alternative algorithm for computing the pseudo-remainder of multivariate polynomials (Q2489188) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- The LaSalle's invariant sets for a class of Lotka-Volterra prey-predator chain systems (Q2633776) (← links)
- Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems (Q2643540) (← links)
- The center problem and time-reversibility with respect to a quadratic involution for a class of polynomial differential systems with order 2 or 3 (Q2674949) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties (Q3452279) (← links)
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492) (← links)
- (Q6162643) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
