Behzad Akbarpour

From MaRDI portal
Person:816217

Available identifiers

zbMath Open akbarpour.behzadWikidataQ122209917 ScholiaQ122209917MaRDI QIDQ816217

List of research outcomes





PublicationDate of PublicationType
MetiTarski: An automatic theorem prover for real-valued special functions2010-05-26Paper
Applications of MetiTarski in the Verification of Control and Hybrid Systems2009-04-30Paper
MetiTarski: An Automatic Prover for the Elementary Functions2009-01-27Paper
Extending a Resolution Prover for Inequalities on Elementary Functions2008-05-15Paper
Error analysis of digital filters using HOL theorem proving2008-03-11Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
Formalization of fixed-point arithmetic in HOL2006-02-20Paper
Theorem Proving in Higher Order Logics2005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q47375602004-08-11Paper

Research outcomes over time

This page was built for person: Behzad Akbarpour

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:816217&oldid=7575486"
Powered by MediaWiki