Search Sciweavers | Sciweavers

5510 search results - page 103 / 1102

» Mathematics

155

click to vote

MKM
2004
Springer

56views Information Technology» more MKM 2004»

Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles

15 years 11 months ago

Download kti.mff.cuni.cz

Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deﬁnitions, which often use overloaded notation. For e�...

Grzegorz Bancerek, Josef Urban

claim paper

Read More »

138

click to vote

MKM
2004
Springer

92views Information Technology» more MKM 2004»

Mathematical Service Matching Using Description Logic and OWL

15 years 11 months ago

Download monet.nag.co.uk

Olga Caprotti, Mike Dewar, Daniele Turi

claim paper

Read More »

282

click to vote

TEX
2004
Springer

323views Latex» more TEX 2004»

Dynamic Arabic Mathematical Fonts

15 years 11 months ago

Download www.ucam.ac.ma

Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami

claim paper

Read More »

123

click to vote

MSWIM
2003
ACM

118views Modeling and Simulation» more MSWIM 2003»

SMM: mathematical framework of a scalable mobility model

15 years 11 months ago

Download www.bris.ac.uk

Dharmayashdev Rai Basgeet, Pascal Dugenie, Alistai...

claim paper

Read More »

118

click to vote

AC
2003
Springer

114views Software Engineering» more AC 2003»

Some Notes on Applied Mathematics for Machine Learning

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers