Behzad Akbarpour

Available identifiers

zbMath Open akbarpour.behzadWikidataQ122209917 ScholiaQ122209917MaRDI QIDQ816217

List of research outcomes

Publication	Date of Publication	Type
MetiTarski: An automatic theorem prover for real-valued special functions	2010-05-26	Paper
Applications of MetiTarski in the Verification of Control and Hybrid Systems	2009-04-30	Paper
MetiTarski: An Automatic Prover for the Elementary Functions	2009-01-27	Paper
Extending a Resolution Prover for Inequalities on Elementary Functions	2008-05-15	Paper
Error analysis of digital filters using HOL theorem proving	2008-03-11	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Formalization of fixed-point arithmetic in HOL	2006-02-20	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4737560	2004-08-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Behzad Akbarpour