Pages that link to "Item:Q3485887"
From MaRDI portal
The following pages link to Machine synthesis of mathematical theorems (Q3485887):
Displaying 10 items.
- Structural method for formulating the equations of state of a multidimensional system (Q1316271) (← links)
- A method for the synthesis of deducibility conditions for Horn and some other formulas (Q1847304) (← links)
- On the implication of properties of related systems: a method for obtaining implication conditions and application examples (Q1995338) (← links)
- The logic-algebraic equations method in system dynamics (Q2849193) (← links)
- Ascertaining mathematical theorems (Q2852039) (← links)
- (Q3006508) (← links)
- (Q3484382) (← links)
- (Q3677198) (← links)
- On controllability of nonlinear systems under phase restrictions and persistent perturbations (Q4344869) (← links)
- Logical approach to control theory and applications (Q4374110) (← links)