Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants.
Henk BarendregtArjeh M. CohenPublished in: J. Symb. Comput. (2001)
Keyphrases
- computer algebra systems
- theorem prover
- computer algebra
- theorem proving
- human communication
- synchronous communication
- mediated communication
- communication tools
- turn taking
- asynchronous communication
- first order logic
- computer interface
- communication patterns
- human computer interaction
- communication overhead
- communication systems
- inference rules
- communication networks
- human computer
- agent communication
- nonverbal communication
- intelligent agents
- instant messaging
- share information
- sharing information
- active participation
- multi party
- mathematical knowledge
- information seeking