scientific article; zbMATH DE number 1140679
From MaRDI portal
Publication:4385444
zbMath0894.68086MaRDI QIDQ4385444
Publication date: 13 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Interpolation and model checking for nonlinear arithmetic ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Solution of N-person Stackelberg games with nearly cooperating leaders ⋮ Generating invariants for non-linear loops by linear algebraic methods ⋮ Hidden verification for computational mathematics ⋮ Some decidable results on reachability of solvable systems ⋮ Cancellative Abelian monoids and related structures in refutational theorem proving. I ⋮ Generating invariants for non-linear hybrid systems
Uses Software
This page was built for publication:
