Assia Mahboubi

10 papers and 76 indexed citations i.

Assia Mahboubi has authored 10 papers that have received a total of 76 indexed citations. This includes 6 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 2 papers in Geometry and Topology. The topics of these papers are Logic, programming, and type systems (5 papers), Polynomial and algebraic computation (4 papers) and Numerical Methods and Algorithms (3 papers). Assia Mahboubi is often cited by papers focused on Logic, programming, and type systems (5 papers), Polynomial and algebraic computation (4 papers) and Numerical Methods and Algorithms (3 papers) and collaborates with scholars based in France, India and United States. Assia Mahboubi's co-authors include Andrej Bauer, Georges Gonthier, Martı́n Hötzel Escardó, Jeremy Avigad and Cyril Cohen and has published in prestigious journals such as Lecture notes in computer science, Journal of Automated Reasoning and Mathematical Structures in Computer Science