license:apache-2.0 region:us
---
license: apache-2.0
---

If you find this please cite it:
```
@software{brando2021ultimateutils,
    author={Brando Miranda},
    title={Ultimate Utils - the Ultimate Utils library for Machine Learning and Artificial Intelligence},
    url={https://github.com/brando90/ultimate-utils},
    year={2021}
}
```
it's not suppose to be used by people yet. It's under apache license too. 

Files are 
```
Topic	# of theorems	# Statements Selected (floor)
Polynomial	515	0
Polynomial_Factorial	47  	11
```