We gratefully acknowledge support from
the Simons Foundation
and member institutions

Symbolic Computation

Authors and titles for recent submissions

[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 7 Dec 2017

[1]  arXiv:1712.02329 [pdf, other]
Title: Rings: an efficient Java/Scala library for polynomial rings
Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS); High Energy Physics - Phenomenology (hep-ph); Commutative Algebra (math.AC); Rings and Algebras (math.RA)

Wed, 6 Dec 2017

[2]  arXiv:1712.01752 [pdf, other]
Title: Symbolic-Numeric Integration of Rational Functions
Comments: 25 pages, 4 figures
Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
[3]  arXiv:1712.01773 (cross-list from math.RA) [pdf, ps, other]
Title: Constructive Arithmetics in Ore Localizations of Domains
Comments: 24 pages
Subjects: Rings and Algebras (math.RA); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)
[4]  arXiv:1712.01734 (cross-list from cs.LO) [pdf, ps, other]
Title: Partial Predicate Abstraction and Counter-Example Guided Refinement
Authors: Tuba Yavuz
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Fri, 1 Dec 2017

[5]  arXiv:1711.11472 [pdf, ps, other]
Title: Algorithms for the Computing Determinants in Commutative Rings
Comments: 9 pages. arXiv admin note: substantial text overlap with arXiv:1711.11471
Journal-ref: Diskretnaya Matematika, V. 7, No.4, 1995, 68-76
Subjects: Symbolic Computation (cs.SC)
[6]  arXiv:1711.11471 [pdf, ps, other]
Title: Algorithms for the solution of systems of linear equations in commutative ring
Comments: 10 pages. arXiv admin note: substantial text overlap with arXiv:1711.11472
Journal-ref: Effective Methods in Algebraic Geometry, ed. by T. Mora and C. Traverso, Progress in Mathematics 94, Birkhauser, 1991, 289--298
Subjects: Symbolic Computation (cs.SC)

Tue, 28 Nov 2017

[7]  arXiv:1711.09456 [pdf, ps, other]
Title: Effective Matrix Methods in Commutative Domains
Comments: 11 pages
Journal-ref: Formal Power Series and Algebraic Combinatorics, (Ed. by D.Krob, A.A.Mikhalev, A.V.Mikhalev), Springer Berlin, 2000, 506-517
Subjects: Symbolic Computation (cs.SC)
[8]  arXiv:1711.09452 [pdf, ps, other]
Title: Solution of a System of Linear Equations in an Integral Ring
Comments: 7 pages
Journal-ref: USSR J. of Comput. Math. and Math. Phys., V.23, No. 6, 1983. 1497-1500
Subjects: Symbolic Computation (cs.SC)
[9]  arXiv:1711.09450 [pdf, ps, other]
Title: Computation of the Adjoint Matrix
Journal-ref: Computational Science - ICCS 2006: 6th Int. Conf., UK, May 28-31, 2006. Proc., Part II, LNCS 3992, Springer Berlin, 486-489
Subjects: Symbolic Computation (cs.SC)

Tue, 21 Nov 2017

[10]  arXiv:1711.06865 (cross-list from q-bio.BM) [pdf, ps, other]
Title: Decoupled molecules with binding polynomials of bidegree (n,2)
Comments: 18 pages, 8 figures
Subjects: Biomolecules (q-bio.BM); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Chemical Physics (physics.chem-ph)
[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)