Assia Mahboubi

From MaRDI portal
Person:512133

Available identifiers

zbMath Open mahboubi.assiaWikidataQ102403440 ScholiaQ102403440MaRDI QIDQ512133

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61249332024-04-10Paper
Valuative Lattices and Spectra2024-02-06Paper
https://portal.mardi4nfdi.de/entity/Q61572492023-06-20Paper
A certificate-based approach to formally verified approximations2023-02-03Paper
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q58564202021-03-26Paper
Formally verified approximations of definite integrals2019-02-18Paper
Théories géométriques pour l’algèbre des nombres réels2018-04-16Paper
https://portal.mardi4nfdi.de/entity/Q29880592017-05-18Paper
Axiomatic Constraint Systems for Proof Search Modulo Theories2017-02-27Paper
An induction principle over real numbers2017-02-24Paper
Formally Verified Approximations of Definite Integrals2016-10-27Paper
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)2014-09-08Paper
The Rooster and the Butterflies2013-08-09Paper
Canonical Structures for the Working Coq User2013-08-07Paper
A Machine-Checked Proof of the Odd Order Theorem2013-08-07Paper
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic2012-09-05Paper
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination2012-04-03Paper
A formal study of Bernstein coefficients and polynomials2011-10-21Paper
https://portal.mardi4nfdi.de/entity/Q30752462011-02-10Paper
A Formal Quantifier Elimination for Algebraically Closed Fields2010-08-24Paper
Packaging Mathematical Structures2009-10-20Paper
Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials2009-03-12Paper
A Modular Formalisation of Finite Group Theory2008-09-02Paper
Implementing the cylindrical algebraic decomposition within the Coq system2007-04-12Paper
Theorem Proving in Higher Order Logics2006-07-06Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Assia Mahboubi