Symbolic Optimization with SMT Solvers Aws Albarghouthi / UToronto Marsha Chechik / UToronto Arie Gurfinkel / CMU Zachary Kincaid / UToronto

Source URL: www.cs.utoronto.ca

Symbolic Polytopes for Quantitative Interpolation and Verification Klaus v. Gleissenthall1 , Boris K¨opf2 , and Andrey Rybalchenko3 1 Technische Universit¨

Source URL: software.imdea.org

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

J. Symbolic Computation, 97–112 doi:jscoAvailable online at http://www.idealibrary.com on Class Number Relations from a Computational Point of View

Source URL: www.math.ru.nl

• Algebra
• Abstract algebra
• Group theory
• Mathematics
• Index of a subgroup
• Regular icosahedron
• Conjugacy class
• Group action
• Algebraic number field
• Coset
• Splitting of prime ideals in Galois extensions
• Polar coordinate system

PHL 321 Symbolic Logic Fall 2014 T,Th 2:00 - 3:15 in Humanities 114 Professor: Dr. Poston, Humanities 124, [mylastname]@southalabama.edu Office Hours: Tuesday & Thursday, Times: TBA

Source URL: www.southalabama.edu

Automating security analysis: symbolic equivalence of constraint systems ? Vincent Cheval, Hubert Comon-Lundh, and St´ephanie Delaune LSV, ENS Cachan & CNRS & INRIA Saclay ˆIle-de-France Abstract. We consider security

Source URL: www.lsv.ens-cachan.fr

The Historical Growth of Symbolic Meaning in Mathematics Enlightening Symbols: A Short History of Mathematical Notation and its Hidden Powers By Joseph Mazur, Princeton NJ, Princeton University Press, 2014, pp. 296, Har

Source URL: mambo.ucsc.edu

Report from Dagstuhl SeminarArtificial and Computational Intelligence in Games: Integration Edited by

Source URL: drops.dagstuhl.de

• Artificial intelligence
• Game theory
• Academia
• Formal sciences
• Computational neuroscience
• Technology
• Science and technology
• Game artificial intelligence
• General video game playing
• Artificial general intelligence
• Game design
• Symbolic artificial intelligence

FIFTY YEARS OF THE SPECTRUM PROBLEM: SURVEY AND NEW RESULTS A. DURAND, N. D. JONES, J. A. MAKOWSKY, AND M. MORE Abstract. In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a chara

Source URL: www.diku.dk

Unidentifiable Slavic Object: ‘Eastern’ Robotics & the Western Imagination This text will explore some of the symbolic meanings and associations surrounding the Robovox project. It will suggest that Robovox is a sta

Source URL: robovox.co.uk