Work

Semantic Representation of Mathematical Specications

Year: 2011

Type: article

Author: Peter Schodl

Language: English

Topic: Mathematics, Computing, and Information Processing

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2181957436

FWCI:

Cites: 31

Cited by:

Related to: 10