scientific article; zbMATH DE number 3586510

Cited in

(51)

On automating triangle constructions in absolute and hyperbolic geometry
An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space
Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
Kernel method and linear recurrence system
Elimination theory in differential and difference algebra
Rewriting input expressions in complex algebraic geometry provers
A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
The monotonicity of ratios of some abelian integrals
Formal solutions of differential equations
Geometric theorem proving by integrated logical and algebraic reasoning
Recent advances in automated theorem proving on inequalities
Parameter identification on abelian integrals to achieve Chebyshev property
Traveling wave solutions for nonlinear equations using symbolic computation
Ordering in mechanical geometry theorem proving
Automated triangle constructions in hyperbolic geometry
A characteristic set method for ordinary difference polynomial systems
A class of mechanically decidable problems beyond Tarski's model
On \(n\)-sectors of the angles of an arbitrary triangle
An alternative algorithm for computing the pseudo-remainder of multivariate polynomials
Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
Computer aided proof for the global stability of Lotka-Volterra systems
Automated reducible geometric theorem proving and discovery by Gröbner basis method
On the application of Buchberger's algorithm to automated geometry theorem proving
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
Wu's characteristic set method for SystemVerilog assertions verification
A coherent logic based geometry theorem prover capable of producing formal and readable proofs
Basic principles of mechanical theorem proving in elementary geometries
Simultaneous solution of polynomial equations.
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems
Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
Stability analysis for Lotka-Volterra systems based on an algorithm of real root isolation
A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
The kernel method and systems of functional equations with several conditions
The LaSalle's invariant sets for a class of Lotka-Volterra prey-predator chain systems
History and basic features of the critical-pair/completion procedure
Square-free pure triangular decomposition of zero-dimensional polynomial systems
Elimination procedures for mechanical theorem proving in geometry
Using Gröbner bases to reason about geometry problems
Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
The center problem and time-reversibility with respect to a quadratic involution for a class of polynomial differential systems with order 2 or 3
Extension of Simson-Wallace theorem on skew quadrilaterals and further properties
A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium
Computer assistance for ``discovering formulas in system engineering and operator theory
scientific article; zbMATH DE number 7696788 (Why is no real title available?)
Geometry machines: from AI to SMC
Proof-checking Euclid
A complete algorithm for automated discovering of a class of inequality-type theorems
Solution to the generalized champagne problem on simultaneous stabilization of linear systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4153620)