MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
| Image |  |
|---|---|
| Description | scientific article (publication date: 18 August 2009) |
| Author/s |
author: Behzad Akbarpour Lawrence Paulson |
| Publication date | August 18, 2009 |
| Language | |
| Country of origin | |
| Wikipedia link | |
| Copyright status | |
| Missing/wrong data? | Edit Wikidata item |