Assia Mahboubi

Available identifiers

zbMath Open mahboubi.assiaDBLP81/5782WikidataQ102403440 ScholiaQ102403440MaRDI QIDQ512133

List of research outcomes

Publication	Date of Publication	Type
Machine-checked computational mathematics (invited talk)	2024-11-26	Paper
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
A Machine-Checked Proof of the Odd Order Theorem	2013-08-07	Paper
Canonical Structures for the Working Coq User	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

This page was built for person: Assia Mahboubi