We gratefully acknowledge support from
the Simons Foundation and member institutions.

Symbolic Computation

Authors and titles for recent submissions

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

Thu, 3 Dec 2020

[1]  arXiv:2012.01181 (cross-list from cs.FL) [html]
Title: Proceedings of the Eleventh International Workshop on Graph Computation Models
Authors: Berthold Hoffmann (Universität Bremen), Mark Minas (Universität der Bundeswehr München)
Comments: This volume contains the post-proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020). The workshop was originally planned as part of STAF 2020 (Software Technologies: Applications and Foundations), to be held in Bergen, Norway, but then held as an online-workshop on 24th June 2020, because of the COVID-19 pandemic
Journal-ref: EPTCS 330, 2020
Subjects: Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)

Tue, 1 Dec 2020

[2]  arXiv:2011.14136 [pdf, ps, other]
Title: Solving parametric systems of polynomial equations over the reals through Hermite matrices
Subjects: Symbolic Computation (cs.SC); Computational Geometry (cs.CG)

Mon, 30 Nov 2020

[3]  arXiv:2011.13213 (cross-list from cs.CR) [pdf, other]
Title: Why Charles Can Pen-test: an Evolutionary Approach to Vulnerability Testing
Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)

Tue, 24 Nov 2020

[4]  arXiv:2011.10924 [pdf, other]
Title: A new algorithm for computing $μ$-bases of the univariate polynomial vector
Comments: 15 pages, 2 figures
Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)
[5]  arXiv:2011.10868 (cross-list from math.AG) [pdf, ps, other]
Title: Multi-experiment parameter identifiability of ODEs and model theory
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Systems and Control (eess.SY); Logic (math.LO)

Thu, 19 Nov 2020

[6]  arXiv:2011.09092 [pdf, ps, other]
Title: An effective method for computing Grothendieck point residue mappings
Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)
[ total of 6 entries: 1-6 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2012, contact, help  (Access key information)