Lucas Michel

According to our database, Lucas Michel authored at least 6 papers between 2024 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

2026

On Minimum CADs for Algebraic Sets in Dimension Three.

Lucas Michel

CoRR, May, 2026

On some Exotic Cylindrical Algebraic Decompositions and Cells.

Lucas Michel

CoRR, January, 2026

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