相关论文: Open Problems from CCCG 2002

A talk presented at International Conference ICMP-2000, London, England

Constraint satisfaction problems are computational problems that naturally appear in many areas of theoretical computer science. One of the central themes is their computational complexity, and in particular the border between…

We survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory. Our primary focus is on recent findings concerning the (un)provability of complexity…

This is a slightly edited version of the transparencies for a seminar at UCL, May 7, 2003. It is intended to give a quick view of background, ideas, and some calculations, in the applicatioon of some non commutative methods to algebraic…

These are the proceedings of the workshop "HadAtom02", held at the CERN, October 14 - 15, 2002. The main topic of the workshop concerned the physics of hadronic atoms and in this contest recent results from experiments and theory were…

We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the complexity of calculating the complex dimension of an algebraic…

A tutorial of the Mathematica package CGAlgebra, for conformal geometric algebra calculations is presented. Using rule-based programming, the 5-dimensional conformal geometric algebra is implemented and defined functions simplify the…

This document represents the proceedings of the 2018 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'18, the 24th International Conference on Principles and Practice of Constraint Programming,…

In this survey paper, we present open problems and conjectures on visibility graphs of points, segments and polygons along with necessary backgrounds for understanding them.

The second of the annual BritGrav meetings on current research in Gravitational Physics in Britain took place at the School of Mathematical Sciences of Queen Mary, University of London on June 10/11, 2002. 47 plenary talks of 12min duration…

This is the Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence, which was held in Montreal, QU, August 18-20, 1995

This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda…

We present updates to the problems on Hirzebruch's 1954 problem list focussing on open problems, and on those where substantial progress has been made in recent years. We discuss some purely topological problems, as well as geometric…

Enumeration of tilings is the mathematical study concerning the total number of coverings of regions by similar pieces without gaps or overlaps. Enumeration of tilings has become a vibrant subfield of combinatorics with connections and…

This article is the writing notes of a talk on Lie Antialgebras given by the second author at the conference "3Quantum: Algebra Geometry Information" that held in Tallinn in July 2012. The aim of this note is to give a brief survey of the…

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

This note describes some open problems that can be examined with the purpose of gaining additional insight of how to solve the problem of finding a general classification of geodetic graphs

1. Translated by Thomas E. Cecil, Department of Mathematics and Computer Science, College of the Holy Cross, Worcester, MA 01610, USA; E-mail address: [email protected] 2. Typed by Wenjiao Yan, School of Mathematical Sciences,…

Overview of the latest theory developments presented at the Hard Probes 2015 conference, held at McGill University, Montreal, Canada, in July 2015.

We present a collection of research questions on cubic surfaces in 3-space. These questions inspired a collection of papers to be published in a special issue of the journal Le Matematiche. This article serves as the introduction to that…