Skip to Main content Skip to Navigation
  1. Search


inria-00198847v1  Journal articles
Evelyne Hubert, Irina 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-01068308v1  Conference papers
Erich L. Kaltofen, Clé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⟩
...
hal-00586314v1  Journal articles
Kazufumi Ito, Karim Ramdani, Marius 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 Kaltofen, Clément Pernet, Arne Storjohann, Cleveland 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-01889827v1  Conference papers
Hoon Hong, Thomas 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-00627327v1  Journal articles
Ting Zhao, Dongming Wang, Hoon 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-00683596v1  Conference papers
Ting Zhao, Dongming Wang, Hoon Hong, Philippe Aubry. Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints
27th Annual ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Trento, Italy. pp.94-101, ⟨10.1145/2245276.2245297⟩
hal-00779259v1  Conference papers
Jing Yang, Dongming Wang, Hoon 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-00913415v1  Conference papers
Jing Yang, Dongming Wang, Hoon 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-01657873v1  Conference papers
Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard, Lihong 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-01171249v1  Preprints, Working Papers, ...
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé. Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
2015
...
hal-01266041v3  Conference papers
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel 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-02130801v1  Software
The Linbox Group. LinBox
2019, ⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65;origin=https://hal.archives-ouvertes.fr/hal-02130801;visit=swh:1:snp:19c29b988fe02623c70c7dc8bc97c42481eb691b;anchor=swh:1:rev:e8e18328952266b7875c692963b11963b1496107;path=/⟩
...
hal-02191075v1  Journal articles
Jean-Guillaume Dumas, Erich Kaltofen, David Lucas, Clément Pernet. Elimination-based certificates for triangular equivalence and rank profiles
Journal of Symbolic Computation, Elsevier, 2020, 98, pp.246-269. ⟨10.1016/j.jsc.2019.07.013⟩