Name
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 |