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.
Files
tarski-1.31-20230104b.zip
Files
(34.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5a3a78fc8cfa7581b4e9aac12d330d11
|
34.1 MB | Preview Download |