The MathBus Term Structure
Richard Zippel
Dept. of Computer Science, Cornell University
The MathBus Term Structure
Active Models
Collaborative Engineering
Technology Gaps
Technical Approach
Why a Term Structure?
Why a Term Structure?
Term Structure
Term Structure Nodes
Registry
Standard Node Types
Graph Structure
Basic Facilities
Algebra and Analysis
Common Level 2 Labels
Algebra and Analysis
Geometry/Topology
Active Model
Conclusions