| Front for the arXiv | |||
| |||
| cs.SC Symbolic Computation |
| Search |
| New articles (last 12) |
| 7 Dec |
![]() |
arXiv:1712.02329 Rings: an efficient Java/Scala library for polynomial rings. Stanislav Poslavsky. cs.SC (cs.MS math.AC math.RA physics.hep-ph). |
| 6 Dec |
![]() |
arXiv:1712.01752 Symbolic-Numeric Integration of Rational Functions. Robert M. Corless, Robert H. C. Moir, Marc Moreno Maza, Ning Xie. cs.SC (math.NA). |
| 1 Dec |
![]() |
arXiv:1711.11472 Algorithms for the Computing Determinants in Commutative Rings. Gennadi Malaschonok. Diskretnaya Matematika, V. 7, No.4, 1995, 68-76. cs.SC. |
| 1 Dec |
![]() |
arXiv:1711.11471 Algorithms for the solution of systems of linear equations in commutative ring. Gennadi Malaschonok. Effective Methods in Algebraic Geometry, ed. by T. Mora and C. Traverso, Progress in Mathematics 94, Birkhauser, 1991, 289--298. cs.SC. |
| 28 Nov |
![]() |
arXiv:1711.09456 Effective Matrix Methods in Commutative Domains. Gennadi Malaschonok. Formal Power Series and Algebraic Combinatorics, (Ed. by D.Krob, A.A.Mikhalev, A.V.Mikhalev), Springer Berlin, 2000, 506-517. cs.SC. |
| Cross-listings |
| 6 Dec |
![]() |
arXiv:1712.01773 Constructive Arithmetics in Ore Localizations of Domains. Johannes Hoffmann, Viktor Levandovskyy. math.RA (cs.MS cs.SC). |
| 6 Dec |
![]() |
arXiv:1712.01734 Partial Predicate Abstraction and Counter-Example Guided Refinement. Tuba Yavuz. cs.LO (cs.SC). |
| Revised crosses |
| 6 Dec |
![]() |
arXiv:1705.06996 A lower bound on the positive semidefinite rank of convex bodies. Hamza Fawzi, Mohab Safey El Din. math.OC (cs.CC cs.SC). |
| 6 Dec |
![]() |
arXiv:1610.04022 Upper bound for effective differential elimination. Alexey Ovchinnikov, Gleb Pogudin, N. Thieu Vo. math.AC (cs.SC math.AG). |
| 4 Dec |
![]() |
arXiv:1603.06544 Nearest Points on Toric Varieties. Martin Helmer, Bernd Sturmfels. math.AG (cs.SC math.OC). |
| 30 Nov |
![]() |
arXiv:1705.07728 Improved method for finding optimal formulae for bilinear maps in a finite field. Svyatoslav Covanov (CARAMBA). cs.DS (cs.CC cs.SC math.CO). |
| 29 Nov |
![]() |
arXiv:1701.05500 The number of realizations of a Laman graph. Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho. math.AG (cs.CG cs.SC math.CO). |
| Calendar |
Total: 706+540 articles (primary+secondary)
- for questions or comments about the FrontarXiv contact page - for questions about downloading and submitting e-prints |