The following pages link to (Q4385444):
Displaying 16 items.
- Symbolic computation using L-systems (Q757063) (← links)
- Interpolation and model checking for nonlinear arithmetic (Q832268) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- (Q2718897) (← links)
- (Q2738483) (← links)
- Some decidable results on reachability of solvable systems (Q2871582) (← links)
- (Q3002926) (← links)
- Solution of <i>N</i>-person Stackelberg games with nearly cooperating leaders (Q3754462) (← links)
- (Q3838006) (← links)
- (Q3995613) (← links)
- (Q4947406) (← links)
- Symbolic computation in automated program reasoning (Q6174522) (← links)