Graffiti (program)
Encyclopedia
Graffiti is a computer program
which makes conjecture
s in various subfields of mathematics
(particularly graph theory
) and chemistry
, but can be adapted to other fields. It was written by Siemion Fajtlowicz
at the University of Houston
. Research on conjectures produced by Graffiti has led to over 60 publications by other mathematicians.
Computer program
A computer program is a sequence of instructions written to perform a specified task with a computer. A computer requires programs to function, typically executing the program's instructions in a central processor. The program has an executable form that the computer can use directly to execute...
which makes conjecture
Conjecture
A conjecture is a proposition that is unproven but is thought to be true and has not been disproven. Karl Popper pioneered the use of the term "conjecture" in scientific philosophy. Conjecture is contrasted by hypothesis , which is a testable statement based on accepted grounds...
s in various subfields of mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
(particularly graph theory
Graph theory
In mathematics and computer science, graph theory is the study of graphs, mathematical structures used to model pairwise relations between objects from a certain collection. A "graph" in this context refers to a collection of vertices or 'nodes' and a collection of edges that connect pairs of...
) and chemistry
Chemistry
Chemistry is the science of matter, especially its chemical reactions, but also its composition, structure and properties. Chemistry is concerned with atoms and their interactions with other atoms, and particularly with the properties of chemical bonds....
, but can be adapted to other fields. It was written by Siemion Fajtlowicz
Siemion Fajtlowicz
Siemion Fajtlowicz is a Polish mathematician, currently a professor at the University of Houston. He is known for developing the conjecture-making computer program Graffiti....
at the University of Houston
University of Houston
The University of Houston is a state research university, and is the flagship institution of the University of Houston System. Founded in 1927, it is Texas's third-largest university with nearly 40,000 students. Its campus spans 667 acres in southeast Houston, and was known as University of...
. Research on conjectures produced by Graffiti has led to over 60 publications by other mathematicians.