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

Symbolic Computation

Authors and titles for recent submissions

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

Fri, 14 Jan 2022

[1]  arXiv:2201.04268 (cross-list from math.AG) [pdf, ps, other]
Title: Sparse trace tests
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

Thu, 13 Jan 2022

[2]  arXiv:2201.04477 (cross-list from cs.AI) [pdf, ps, other]
Title: DPCL: a Language Template for Normative Specifications
Comments: position paper at ProLaLa workshop @ POPL2022
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Multiagent Systems (cs.MA); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

Mon, 10 Jan 2022

[3]  arXiv:2201.01262 (cross-list from cs.CR) [pdf, other]
Title: An algebraic attack to the Bluetooth stream cipher E0
Comments: 23 pages, 1 figure
Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Rings and Algebras (math.RA)

Tue, 4 Jan 2022

[4]  arXiv:2201.00543 [pdf, ps, other]
Title: A Method for the Automated Discovery of Angle Theorems
Authors: Philip Todd (Saltire Software, Portland, OR, USA)
Comments: In Proceedings ADG 2021, arXiv:2112.14770
Journal-ref: EPTCS 352, 2021, pp. 148-155
Subjects: Symbolic Computation (cs.SC)
[5]  arXiv:2201.00535 [pdf, other]
Title: Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere
Authors: Zhenbing Zeng (Shanghai University, Department of Mathematics, Shanghai 200444, China), Jian Lu (Shanghai University, Department of Mathematics, Shanghai 200444, China), Yaochen Xu (Shanghai University, Department of Mathematics, Shanghai 200444, China), Yuzheng Wang (Shanghai University, Department of Mathematics, Shanghai 200444, China)
Comments: In Proceedings ADG 2021, arXiv:2112.14770
Journal-ref: EPTCS 352, 2021, pp. 27-40
Subjects: Symbolic Computation (cs.SC); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)
[6]  arXiv:2201.00541 (cross-list from cs.LO) [pdf, other]
Title: Spreads and Packings of PG(3,2), Formally!
Authors: Nicolas Magaud (ICube UMR 7357 CNRS, Université de Strasbourg, France)
Comments: In Proceedings ADG 2021, arXiv:2112.14770
Journal-ref: EPTCS 352, 2021, pp. 107-115
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[7]  arXiv:2201.00540 (cross-list from cs.LO) [pdf, other]
Title: Automated Generation of Illustrations for Synthetic Geometry Proofs
Authors: Predrag Janičić (Faculty of Mathematics, University of Belgrade, Serbia), Julien Narboux (UMR 7357 CNRS, University of Strasbourg, France)
Comments: In Proceedings ADG 2021, arXiv:2112.14770
Journal-ref: EPTCS 352, 2021, pp. 91-102
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[8]  arXiv:2201.00539 (cross-list from cs.CG) [pdf, other]
Title: Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach
Authors: Pascal Schreck (ICube, UMR 7357 CNRS Université de Strasbourg, France), Nicolas Magaud (ICube, UMR 7357 CNRS Université de Strasbourg, France), David Braun (ICube, UMR 7357 CNRS Université de Strasbourg, France)
Comments: In Proceedings ADG 2021, arXiv:2112.14770
Journal-ref: EPTCS 352, 2021, pp. 77-90
Subjects: Computational Geometry (cs.CG); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)
[9]  arXiv:2201.00495 (cross-list from cs.PL) [pdf, other]
Title: let (rec) insertion without Effects, Lights or Magic
Authors: Oleg Kiselyov (Tohoku University, Japan), Jeremy Yallop (University of Cambridge, UK)
Comments: Peer-reviewed and accepted for presentation as a short paper at PEPM 2022
Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)

Mon, 3 Jan 2022

[10]  arXiv:2112.15370 [pdf, ps, other]
Title: Subresultant of several univariate polynomials
Authors: Hoon Hong, Jing Yang
Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
[11]  arXiv:2112.14770 (cross-list from cs.AI) [html]
Title: Proceedings of the 13th International Conference on Automated Deduction in Geometry
Journal-ref: EPTCS 352, 2021
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)
[ total of 11 entries: 1-11 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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