Naïm Zénaïdi

According to our database, Naïm Zénaïdi authored at least 8 papers between 2020 and 2027.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2027

Further results on minimal and minimum cylindrical algebraic decompositions.

Lucas Michel, Pierre Mathonet, Naïm Zénaïdi

J. Symb. Comput., 2027

2025

Newton series representation of completely monotone functions.

Thomas Lamby, Jean-Luc Marichal, Naïm Zénaïdi

CoRR, October, 2025

Projective Delineability for Single Cell Construction.

Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi

Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025) Collocated with The 30th International Conference on Automated Deduction (CADE 2025), 2025

2024

On Projective Delineability.

Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England

Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2024

On Minimal and Minimum Cylindrical Algebraic Decompositions.

Lucas Michel, Pierre Mathonet, Naïm Zénaïdi

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

2022

A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions: A Tutorial.

Jean-Luc Marichal, Naïm Zénaïdi

CoRR, 2022

On digital sequences associated with Pascal's triangle.

Pierre Mathonet, Michel Rigo, Manon Stipulanti, Naïm Zénaïdi

CoRR, 2022

2020

A generalization of Krull-Webster's theory to higher order convex functions: multiple $Γ$-type functions.

Jean-Luc Marichal, Naïm Zénaïdi

CoRR, 2020