Sciweavers

1056 search results - page 13 / 212
» Handbook of mathematical functions
Sort
View
ISSAC
1994
Springer
119views Mathematics» more  ISSAC 1994»
14 years 21 days ago
Branch Cuts in Computer Algebra
Many standard functions, such as the logarithm and square root functions, cannot be de ned continuously on the complex plane. Mistaken assumptions about the properties of these fu...
Adam Dingle, Richard J. Fateman
ICDAR
2009
IEEE
13 years 6 months ago
Towards Handwritten Mathematical Expression Recognition
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
Ahmad-Montaser Awal, Harold Mouchère, Chris...
ERCIMDL
2000
Springer
133views Education» more  ERCIMDL 2000»
14 years 6 days ago
EULER - A DC-Based Integrated Access to Library Catalogues and Other Mathematics Information in the Web
Literature databases, scientific journals and com munication between researchers on the electronic level are rapidly developing tools in mathematics having high impact on the daily...
Bernd Wegner
AISC
2008
Springer
13 years 10 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...
IEE
2008
115views more  IEE 2008»
13 years 8 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller