@article{burdis_kogan_hong_2013, title={Object-Image Correspondence for Algebraic Curves under Projections}, volume={9}, ISSN={["1815-0659"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84875148955&partnerID=MN8TOARS}, DOI={10.3842/sigma.2013.023}, abstractNote={We present a novel algorithm for deciding whether a given planar curve is an image of a given spatial curve, obtained by a central or a parallel projection with unknown parameters.The motivation comes from the problem of establishing a correspondence between an object and an image, taken by a camera with unknown position and parameters.A straightforward approach to this problem consists of setting up a system of conditions on the projection parameters and then checking whether or not this system has a solution.The computational advantage of the algorithm presented here, in comparison to algorithms based on the straightforward approach, lies in a significant reduction of a number of real parameters that need to be eliminated in order to establish existence or non-existence of a projection that maps a given spatial curve to a given planar curve.Our algorithm is based on projection criteria that reduce the projection problem to a certain modification of the equivalence problem of planar curves under affine and projective transformations.To solve the latter problem we make an algebraic adaptation of signature construction that has been used to solve the equivalence problems for smooth curves.We introduce a notion of a classifying set of rational differential invariants and produce explicit formulas for such invariants for the actions of the projective and the affine groups on the plane.}, journal={SYMMETRY INTEGRABILITY AND GEOMETRY-METHODS AND APPLICATIONS}, publisher={SIGMA (Symmetry, Integrability and Geometry: Methods and Application)}, author={Burdis, Joseph M. and Kogan, Irina A. and Hong, Hoon}, year={2013} }
 @article{julia-diaz_burdis_tabakin_2006, title={QDENSITY - A Mathematica Quantum Computer simulation}, volume={174}, ISSN={["1879-2944"]}, DOI={10.1016/j.cpc.2005.12.021}, abstractNote={This Mathematica 5.2 package1 is a simulation of a Quantum Computer. The program provides a modular, instructive approach for generating the basic elements that make up a quantum circuit. The main emphasis is on using the density matrix, although an approach using state vectors is also implemented in the package. The package commands are defined in Qdensity.m which contains the tools needed in quantum circuits, e.g., multiqubit kets, projectors, gates, etc. Selected examples of the basic commands are presented here and a tutorial notebook, Tutorial.nb is provided with the package (available on our website) that serves as a full guide to the package. Finally, application is made to a variety of relevant cases, including Teleportation, Quantum Fourier transform, Grover's search and Shor's algorithm, in separate notebooks: QFT.nb, Teleportation.nb, Grover.nb and Shor.nb where each algorithm is explained in detail. Finally, two examples of the construction and manipulation of cluster states, which are part of “one way computing” ideas, are included as an additional tool in the notebook Cluster.nb. A Mathematica palette containing most commands in QDENSITY is also included: QDENSpalette.nb. Title of program: QDENSITY Catalogue identifier: ADXH_v1_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADXH_v1_0 Program available from: CPC Program Library, Queen's University of Belfast, N. Ireland Operating systems: Any which supports Mathematica; tested under Microsoft Windows XP, Macintosh OS X, and Linux FC4 Programming language used: Mathematica 5.2 No. of bytes in distributed program, including test data, etc.: 180 581 No. of lines in distributed program, including test data, etc.: 19 382 Distribution format: tar.gz Method of solution: A Mathematica package is provided which contains commands to create and analyze quantum circuits. Several Mathematica notebooks containing relevant examples: Teleportation, Shor's Algorithm and Grover's search are explained in detail. A tutorial, Tutorial.nb is also enclosed.}, number={11}, journal={COMPUTER PHYSICS COMMUNICATIONS}, author={Julia-Diaz, Bruno and Burdis, Joseph M. and Tabakin, Frank}, year={2006}, month={Jun}, pages={914–934} }