DescriptiveEnvironment swMATH ID: 18713 Software Authors: Carmosino, Marco; Immerman, Neil; Jordan, Charles Description: Experimental descriptive complexity. We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counter-examples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at url{http://www.cs.umass.edu/ immerman/de}. We encourage researchers and students at all levels to experiment with it. Please tell us of your insights, progress, suggestions, or extensions of DE. Homepage: https://people.cs.umass.edu/~immerman/de/ Related Software: Cited in: 1 Document Cited by 3 Authors 1 Carmosino, Marco L. 1 Immerman, Neil 1 Jordan, Charles Cited in 0 Serials Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year