Spreadspaces: Mathematically-intelligent graphical spreadsheets

Nachum Dershowitz*, Claude Kirchner

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Starting from existing spreadsheet software, like Lotus 1-2-3 ®, Excel®, or Spreadsheet 2000®, we propose a sequence of enhancements to fully integrate constraint-based reasoning, culminating in a system for reactive, graphical, mathematical constructions. This is driven by our view of constraints as the essence of (spreadsheet) computation, rather than as an add-on tool for expert users. We call this extended computational metaphor, spreadspaces.

Original languageEnglish
Title of host publicationConcurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Number of pages15
StatePublished - 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5065 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Spreadspaces: Mathematically-intelligent graphical spreadsheets'. Together they form a unique fingerprint.

Cite this