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.21 | SYNASC |
Keywords | Field | DocType |
various degree,prior commitment,mathlang project,type theory,category theory,parallel multiple polynomial quadratic,mathematical text,particular logical framework,multi-core architectures,multi core processor,symbolic computation,multi threading,integer factorization,message passing | Multithreading,Polynomial,Computer science,Embarrassingly parallel,Parallel computing,Thread (computing),CPU power dissipation,Theoretical computer science,Multi-core processor,Integer factorization,Quadratic sieve | Conference |
ISBN | Citations | PageRank |
0-7695-3078-8 | 1 | 0.36 |
References | Authors | |
13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Georgiana Macariu | 1 | 126 | 13.12 |
Dana Petcu | 2 | 983 | 98.69 |