Skip to Main content Skip to Navigation


...
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-01982114v1  Conference papers
Erich KaltofenClément PernetArne StorjohannCleveland Waddell. Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction
ISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩
hal-03350894v1  Conference papers
Erich KaltofenClément PernetZhi-Hong Yang. Hermite Interpolation With Error Correction
ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event Russian Federation, France. pp.241-247, ⟨10.1145/3452143.3465525⟩
hal-00913415v1  Conference papers
Jing YangDongming WangHoon Hong. Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization
ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. pp.33-47, ⟨10.1007/978-3-642-40672-0_3⟩
hal-00779259v1  Conference papers
Jing YangDongming WangHoon Hong. Improving Angular Speed Uniformity by Optimal C⁰ Piecewise Reparameterization
CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.349-360, ⟨10.1007/978-3-642-32973-9_29⟩
...
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⟩
hal-01657873v1  Conference papers
Jean-Guillaume DumasErich KaltofenGilles VillardLihong Zhi. Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
...
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⟩
inria-00198847v1  Journal articles
Evelyne HubertIrina Kogan. Rational Invariants of a Group Action. Construction and Rewriting
Journal of Symbolic Computation, Elsevier, 2007, Effective Methods in Algebraic Geometry (MEGA 2005), 42 (1-2), pp.203-217. ⟨10.1016/j.jsc.2006.03.005⟩
...
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-01068308v1  Conference papers
Erich L. KaltofenClément Pernet. Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance
ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩