# José Felipe Voloch

> Brazilian mathematician

**Wikidata**: [Q20716228](https://www.wikidata.org/wiki/Q20716228)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/José_Felipe_Voloch)  
**Source**: https://4ort.xyz/entity/jos-felipe-voloch


## References

1. Mathematics Genealogy Project
2. Minimal logic and automated proof verification.
3. [Source](http://hdl.handle.net/10092/17558)
4. [Source](http://www.abc.org.br/membro/Jose-Felipe-Voloch)