Symbolic Computation

Authors and titles for recent submissions

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

[1] arXiv:1907.11501 (cross-list from cs.AI) [pdf, other]: Title: Extensional Higher-Order Paramodulation in Leo-III

Authors: Alexander Steen, Christoph Benzmüller

Comments: 34 pages, 7 Figures, 1 Table; submitted article

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Logic (math.LO)

[2] arXiv:1907.10677 [pdf, other]: Title: Upper Hessenberg and Toeplitz Bohemians

Authors: Eunice Y. S. Chan, Robert M. Corless, Laureano Gonzalez-Vega, J. Rafael Sendra, Juana Sendra

Comments: 24 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1809.10653, arXiv:1809.10664

Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
[3] arXiv:1907.10662 (cross-list from cs.LG) [pdf, other]: Title: ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks

Authors: Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan

Comments: acknowledgements

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Machine Learning (stat.ML)

[4] arXiv:1907.09391 (cross-list from math.CO) [pdf, ps, other]: Title: Polynomial Reduction and Super Congruences

Authors: Qing-Hu Hou, Yan-Ping Mu, Doron Zeilberger

Comments: 18 pages

Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC); Number Theory (math.NT)
[5] arXiv:1907.09103 (cross-list from cs.LO) [pdf, other]: Title: A Unified Algebraic Framework for Non-Monotonicity

Authors: Nourhan Ehab, Haythem O. Ismail

Comments: In Proceedings TARK 2019, arXiv:1907.08335

Journal-ref: EPTCS 297, 2019, pp. 155-174

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[6] arXiv:1907.07885 (cross-list from cs.LO) [pdf, other]: Title: Formal verification of trading in financial markets

Authors: Suneel Sarswat, Abhishek Kr Singh

Comments: Preprint of 12 pages in lipicsv2016

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Symbolic Computation (cs.SC); Trading and Market Microstructure (q-fin.TR)

[7] arXiv:1907.06773 (cross-list from cs.AI) [pdf, ps, other]: Title: Logic Conditionals, Supervenience, and Selection Tasks

Authors: Giovanni Sileno

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Symbolic Computation (cs.SC)

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