Assia Mahboubi

Available identifiers

zbMath Open mahboubi.assiaWikidataQ102403440 ScholiaQ102403440MaRDI QIDQ512133

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124933	2024-04-10	Paper
Valuative Lattices and Spectra	2024-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q6157249	2023-06-20	Paper
A certificate-based approach to formally verified approximations	2023-02-03	Paper
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5856420	2021-03-26	Paper
Formally verified approximations of definite integrals	2019-02-18	Paper
Théories géométriques pour l’algèbre des nombres réels	2018-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q2988059	2017-05-18	Paper
Axiomatic Constraint Systems for Proof Search Modulo Theories	2017-02-27	Paper
An induction principle over real numbers	2017-02-24	Paper
Formally Verified Approximations of Definite Integrals	2016-10-27	Paper
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)	2014-09-08	Paper
The Rooster and the Butterflies	2013-08-09	Paper
Canonical Structures for the Working Coq User	2013-08-07	Paper
A Machine-Checked Proof of the Odd Order Theorem	2013-08-07	Paper
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic	2012-09-05	Paper
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination	2012-04-03	Paper
A formal study of Bernstein coefficients and polynomials	2011-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3075246	2011-02-10	Paper
A Formal Quantifier Elimination for Algebraically Closed Fields	2010-08-24	Paper
Packaging Mathematical Structures	2009-10-20	Paper
Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials	2009-03-12	Paper
A Modular Formalisation of Finite Group Theory	2008-09-02	Paper
Implementing the cylindrical algebraic decomposition within the Coq system	2007-04-12	Paper
Theorem Proving in Higher Order Logics	2006-07-06	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: Assia Mahboubi