Published January 4, 2023
| Version 1.31-20230104b
Software
Open
Tarski 1.31-20230104b
Authors/Creators
- 1. United States Naval Academy, Annapolis, MD, USA
- 2. The Private University College of Education of the Diocese of Linz, Austria
- 3. Nebrija University, Madrid, Spain
- 4. Johannes Kepler University, Linz, Austria
Description
Tarski, a system for computing with Tarski formulas and semi-algebraic sets.