arXiv 2005-03-03 EN Approximation of dynamical systems using S-systems theory: application to biological systems Tournier, Laurent
arXiv 2005-02-08 EN The complexity of computing the Hilbert polynomial of smooth equidimensional complex projective varieties Buergisser, Peter · Lotz, Martin
arXiv 2005-01-15 EN Generalized Laplace transformations and integration of hyperbolic systems of linear partial differential equations Tsarev, Sergey P.
arXiv 2004-12-13 EN Free quasi-symmetric functions, product actions and quantum field theory of partitions Duchamp, Gerard Henry Edmond · Luque, Jean-Gabriel · Penson, Karol A. · Tollu, Christophe
arXiv 2004-12-02 EN Jordan Normal and Rational Normal Form Algorithms Parisse, Bernard · Vaughan, Morgane
arXiv 2004-11-17 EN From Tensor Equations to Numerical Code -- Computer Algebra Tools for Numerical Relativity Lechner, Christiane · Alic, Dana · Husa, Sascha
arXiv 2004-09-04 EN Maple+GrTensorII libraries for cosmology Vulcanov, Dumitru N. · Vulcanov, Valentina D.
arXiv 2004-05-27 EN A Framework for Combining Defeasible Argumentation with Labeled Deduction Chesñevar, Carlos Iván · Simari, Guillermo Ricardo
arXiv 2004-03-06 EN Polynomial-time computing over quadratic maps I: sampling in real algebraic sets Grigoriev, Dima · Pasechnik, Dmitrii V.
arXiv 2003-09-26 EN Computing Igusa's Local Zeta Functions of Univariate Polynomials, and Linear Feedback Shift Registers Zuniga-Galindo, W. A.
arXiv 2003-09-24 EN A uniform approach to constraint-solving for lists, multisets, compact lists, and sets Dovier, Agostino · Piazza, Carla · Rossi, Gianfranco
arXiv 2003-09-07 EN Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification Appleboim, Eli · Saucan, Emil
