Graffiti is a
computer program
A computer program is a sequence or set of instructions in a programming language for a computer to execute. Computer programs are one component of software, which also includes documentation and other intangible components.
A computer program ...
which makes
conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 19 ...
s in various subfields of
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
(particularly
graph theory
In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conne ...
) and
chemistry
Chemistry is the science, scientific study of the properties and behavior of matter. It is a natural science that covers the Chemical element, elements that make up matter to the chemical compound, compounds made of atoms, molecules and ions ...
, but can be adapted to other fields. It was written by
Siemion Fajtlowicz
Siemion Fajtlowicz is a Polish-American mathematician, formerly a professor at the University of Houston. He is known for creating and developing the conjecture-making computer program Graffiti..
Fajtlowicz received his Ph.D. in 1967 or 1968 from ...
and
Ermelinda DeLaViña
Ermelinda DeLaViña is an American mathematician specializing in graph theory.
She is a professor in the Computer and Mathematical Sciences Department of the University of Houston–Downtown, where she is also Associate Dean of the College of Scie ...
at the
University of Houston
The University of Houston (UH) is a Public university, public research university in Houston, Texas. Founded in 1927, UH is a member of the University of Houston System and the List of universities in Texas by enrollment, university in Texas ...
. Research on conjectures produced by Graffiti has led to over 60 publications by other mathematicians.
[.]
References
External links
Graffiti & Automated Conjecture-MakingSiemion Fajtlowicz
Chemistry software
Mathematical software
{{chem-software-stub