Truncated Power Series Alan Barnes Dept. of Computer Science and Applied Mathematics Aston University, Aston Triangle, Birmingham B4 7ET GREAT BRITAIN

Source URL: reduce-algebra.com

Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Working Group

Source URL: cadgme.ms.sapientia.ro

ACM Communications in Computer Algebra, Vol. 48, No. 2, Issue 188, JuneSome definite integrals containing the Tree T function Robert M. Corless, Junrui Hu and D. J. Jeffrey Department of Applied Mathematics, Wes

Source URL: www.apmaths.uwo.ca

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

Source URL: www.mancoosi.org

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Operations research
• Logic in computer science
• Mathematical optimization
• NP-complete problems
• Boolean algebra
• Maximum satisfiability problem
• Boolean satisfiability problem
• Constraint satisfaction
• Solver

Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve

Source URL: www.paultaylor.eu

• Mathematics
• Algebra
• Topology
• Homotopy theory
• Category theory
• Algebraic topology
• Differential topology
• Sheaf theory
• Pullback
• Fibration
• Cartesian closed category
• Product

(IN)EQUIVALENCE OF COLOR CODE AND TORIC CODE Aleksander Kubica, B.Yoshida, F. Pastawski MOTIVATION

Source URL: www.qec14.ethz.ch

• Quantum information science
• Fault-tolerant computer systems
• Quantum computing
• Mathematics
• Algebra
• Linear algebra
• Physics
• Toric code
• Stabilizer code
• Quantum error correction
• Inverse trigonometric functions

Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:

Source URL: students.ceid.upatras.gr

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Symposium on Discrete Algorithms
• Approximation algorithm
• Random walk
• 2-satisfiability

To appear in Neural Computation Methods for Binary Multidimensional Scaling Douglas L. T. Rohde School of Computer Science, Carnegie Mellon University, and the Center for the Neural Basis of Cognition

Source URL: tedlab.mit.edu

• Algebra
• Mathematics
• Linear algebra
• Vectors
• Multivariate statistics
• Matrix theory
• Abstract algebra
• Multidimensional scaling
• Singular value decomposition
• Euclidean vector
• Principal component analysis
• Latent semantic analysis

Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich

Source URL: spcl.inf.ethz.ch

• Algebra
• Computing
• Mathematics
• Software optimization
• Parallel computing
• Roofline model
• Software testing
• Matrix multiplication
• NC
• Matrix
• Lookup table
• Matrix multiplication algorithm

Exploring Maths at Advanced Level Maths Activities for the HP Prime and HP39gII Chris Olley Exploring Maths at Advanced Level

Source URL: www.hp-prime.de

• Programmable calculators
• Mathematics
• Graphing calculators
• Computing
• Consumer electronics
• Office equipment
• Computer algebra systems
• Mathematical notation
• Calculator
• HP calculators
• HP Prime
• Software calculator