Abstract | ||
---|---|---|
The MathLang project aims at computerizing mathematical texts according to various degrees of formalisations, and without any prior commitment to a particular logical framework (e.g., having to choose either set theory or category theory or type theory, ... |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/SYNASC.2007.86 | Euro-Par |
Keywords | Field | DocType |
symbolic computations,various degree,domain-specific computational pattern,mathematical text,openmath standard,new grid framework,symbolic computing application,different symbolic system,greater interactivity,symbolic computation,category theory,type theory,mathlang project,prior commitment,particular logical framework,computational steering,complex data structure,data exchange,complex data,electronic data interchange,grid computing | Grid computing,Programming language,Data exchange,OpenMath,Computer science,Algorithmic skeleton,Symbolic computation,Theoretical computer science,Symbolic system,Computational steering,Grid,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7695-3078-8 | 6 | 0.47 |
References | Authors | |
14 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kevin Hammond | 1 | 276 | 33.68 |