Abstract
Orbiter is a software package to classify discrete objects such as designs, graphs, codes, and objects from finite geometry. It employs the method of breaking the symmetry to attack difficult problem instances by means of subobjects that serve as a stepping stone. The algorithms combine techniques from Group Theory and from Combinatorics. Orbiter is a library of C++ functions that provide functionality for Discrete Mathematics. In order to be applied to a specific problem, code has to be written taylored to the specific application.
- John Bamberg, Anton Betten, Cheryl Praeger, and Alfred Wassermann. Unitals in the Desarguesian Projective Plane of Order Sixteen. To appear in Journal of Statistical Planning and Inference.Google Scholar
- Anton Betten. The Packings of PG(3, 3). Submitted to Journal of Combinatorial Designs.Google Scholar
- Anton Betten. Rainbow Cliques and the Classification of Small BLT-Sets. Accepted for the Proceedings of ISSAC 2013. Google ScholarDigital Library
- Anton Betten, Reinhard Laue, and Alfred Wassermann. DISCRETA, a tool for constructing t-designs. In: Computer Algebra Handbook, Edited by Johannes Grabmeier, Erich Kaltofen, VolkerWeispfennig, Springer 2003, pp 372--375.Google Scholar
- Cynthia A. Brown, Larry Finkelstein, and Paul Walton Purdom, Jr. Backtrack searching in the presence of symmetry. In Applied algebra, algebraic algorithms and error-correcting codes (Rome, 1988), volume 357 of Lecture Notes in Comput. Sci., pages 99--110. Springer, Berlin, 1989. Google ScholarDigital Library
- Cynthia A. Brown, Larry Finkelstein, and Paul Walton Purdom, Jr. Backtrack searching in the presence of symmetry. Nordic J. Comput., 3(3):203--219, 1996. Google ScholarDigital Library
- P. J. Cameron and J. H. van Lint. Designs, graphs, codes and their links, volume 22 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge, 1991. Google ScholarDigital Library
- GAP -- Groups, Algorithms, and Programming, Version 4.4. The GAP Group, Aachen, Germany and St. Andrews, Scotland, 2004.Google Scholar
- P. Kaski and P. Östergård. Classification algorithms for codes and designs, volume 15 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, 2006. Google ScholarDigital Library
- D. E. Knuth. Dancing links. eprint arXiv:cs/0011047, November 2000. in Davies, Jim; Roscoe, Bill; Woodcock, Jim, Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, Palgrave, pp. 187--214.Google Scholar
- R. Laue. Construction of combinatorial objects---a tutorial. Bayreuth. Math. Schr., 43:53--96, 1993. Konstruktive Anwendungen von Algebra und Kombinatorik (Bayreuth, 1991).Google Scholar
- J.S. Leon. Partitions, refinements, and permutation group computation. In Groups and computation, II (New Brunswick, NJ, 1995), volume 28 of DIMACS Ser. Discrete Math. Theoret. Comput. Sci., pages 123--158. Amer. Math. Soc., Providence, RI, 1997.Google Scholar
- Magma. The Computational Algebra Group within the School of Mathematics and Statistics of the University of Sydney, 2004.Google Scholar
- Nauty User's Guide (Version 2.4), Brendan McKay, Australian National University, Nov 4, 2009.Google Scholar
- Orbiter -- A Program To Classify Discrete Objects, http://www.math.colostate.edu/~betten/orbiter/orbiter.html, Anton Betten, 2013.Google Scholar
- B. Schmalz. t-Designs zu vorgegebener Automorphismengruppe. Bayreuth. Math. Schr., 41:1--164, 1992. Dissertation, Universität Bayreuth, Bayreuth, 1992.Google Scholar
- Alfred Wassermann. Finding simple t-designs with enumeration techniques. J. Combin. Des., 6(2):79--90, 1998.Google ScholarCross Ref
Index Terms
- Classifying discrete objects with orbiter
Recommendations
Mars Reconnaissance Orbiter: extended dual-purpose mission
AERO '11: Proceedings of the 2011 IEEE Aerospace ConferenceThe Mars Reconnaissance Orbiter (MRO) was launched from Cape Canaveral Air Force Station, Florida, aboard an Atlas V-401 launch vehicle on August 12, 2005 and entered Mars orbit on March 10, 2006. After five months of aerobraking, a series of propulsive ...
Lunar orbiter command and telemetry data handling system at deep space stations
ACM '66: Proceedings of the 1966 21st national conferenceThe Lunar Orbiter will provide extensive photographic exploration of the lunar surface to aid in the selection of possible landing areas for Project Apollo manned landing mission. The Lunar Orbiter project* is one of the lunar and planetary programs ...
Comments