Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

International symposium on symbolic and algebraic computation poster abstracts 2003.. SIGSAM Bull., 37 (3): 65 (2003)Position Paper: Description Schemes for Mathematical Web Services., , and . EuroWeb, BCS, (2002)Connecting Proof Checkers and Computer Algebra Using OpenMath., and . TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 109-112. Springer, (1999)An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series.. DISCO, volume 721 of Lecture Notes in Computer Science, page 203-214. Springer, (1992)Shapes of Educational Data in an Online Calculus Course.. J. Learn. Anal., (July 2017)Mathematical Service Matching Using Description Logic and OWL., , and . MKM, volume 3119 of Lecture Notes in Computer Science, page 73-87. Springer, (2004)On the Role of OpenMath in Interactive Mathematical Documents., and . J. Symb. Comput., 32 (4): 351-364 (2001)Mathematics on the (Semantic) NET., , , and . ESWS, volume 3053 of Lecture Notes in Computer Science, page 213-224. Springer, (2004)Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles., and . J. Symb. Comput., 32 (1/2): 55-70 (2001)OpenMath and MathML: semantic markup for mathematics., and . XRDS, 6 (2): 11-14 (1999)