Pages that link to "Item:Q1582388"
From MaRDI portal
The following pages link to Vectorial equations solving for mechanical geometry theorem proving (Q1582388):
Displayed 6 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms (Q2489154) (← links)
- Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation (Q2570765) (← links)
- Algorithm and mechanization to Cauchy problem of parabolic equation (Q2571955) (← links)
- ``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. (Q5949275) (← links)