André Galligo, Didier Clamond. Certified Study of Internal Solitary Waves. In François Boulier, Matthew England 0001, Ilias S. Kotsireas, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings. Volume 14139 of Lecture Notes in Computer Science, pages 90-106, Springer, 2023. [doi]
Abstract is missing.