Salvy, Bruno
- Linear Differential Equations as a Data-Structure
2018/11/21 by Salvy, Bruno · 4 citations
#33F10 #68W30 #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
- On the Complexity of the F5 Gröbner basis Algorithm
2013/12/05 by Magali Bardet, Bardet, Magali, Jean‐Charles Faugère +3 · 2 citations
Computer Science · Engineering · Mathematics · #Advanced Numerical Analysis Techniques #Commutative Algebra and Its Applications #FOS: Computer and information sciences #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
- Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity
2015/10/15 by Bostan, Alin, Dumont, Louis, Salvy, Bruno · 1 citation
#FOS: Computer and information sciences #Symbolic Computation (cs.SC)
- Minimization of differential equations and algebraic values of\n E-functions
2022/09/05 by Alin Bostan, Tanguy Rivoal, Bostan, Alin +3 · 1 citation
Mathematics · #11J81 #16S32 #33F10 #34M15 #68W30 #Algebraic and Geometric Analysis #FOS: Computer and information sciences #FOS: Mathematics #History and Theory of Mathematics #Mathematical Approximation and Integration #Mathematics and Applications #Number Theory (math.NT) #Numerical methods for differential equations #Symbolic Computation (cs.SC) #advanced mathematical theories
- On deciding transcendence of power series
2025/04/23 by Bostan, Alin, Salvy, Bruno, Singer, Michael F. · 3 citations
#11J81 #16S32 #34M15 #Classical Analysis and ODEs (math.CA) #FOS: Computer and information sciences #FOS: Mathematics #Number Theory (math.NT) #Symbolic Computation (cs.SC)