scientific article; zbMATH DE number 3586510

zbMATH Open0376.68057MaRDI QIDQ4153620FDOQ4153620

Authors: Wen-tsün Wu 

Publication date: 1978

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Real and complex geometry (51Mxx)

Cited In (51)

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