Apps tagged with 'theorem'

All apps in Apps tagged with 'theorem' category. Use the filters below to narrow down your search.

Z
Z
z3
3 likes
Z3 is a theorem prover from Microsoft Research.
Cost / License
Free
Open Source
Application types
Math Solver
Calculator
Origin
United States
Platforms
Mac
Windows
Linux
WebAssembly
C (programming language)
Python
C++
Java
Best alternatives are R (programming language)
6 alternatives
Statistical Calculations
Like
Statistical Calculations app helps you to calculate easy many different types of Qualitative and Quantitative data.
Cost / License
Paid
Proprietary
Application type
Calculator
Origin
Hungary
EU
Platforms
Mac
Best alternatives are Unsure Calculator
1 alternatives