Skip to Main content Skip to Navigation

hal-00627327v1  Journal articles
Ting ZhaoDongming WangHoon Hong. Solution Formulas for Cubic Equations Without or With Constraints
Journal of Symbolic Computation, Elsevier, 2011, 46 (8), pp.904-918. ⟨10.1016/j.jsc.2011.02.001⟩
hal-00586314v1  Journal articles
Kazufumi ItoKarim RamdaniMarius Tucsnak. A time reversal based algorithm for solving initial data inverse problems
Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2011, 4 (3), pp.641-652
hal-01889827v1  Conference papers
Hoon HongThomas Sturm. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
CASC 2018 - International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.238 - 253, ⟨10.1007/978-3-319-99639-4_17⟩
hal-01266041v3  Conference papers
Jean-Guillaume DumasErich KaltofenEmmanuel ThoméGilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩