1 / 7

Axiomatic Mathematics meets Object Oriented Programming

Axiomatic Mathematics meets Object Oriented Programming. Use the GoF Mediator pattern for Implementing Abstract Mathematics. Ring. *. Ring Element. R. R[X] X:String. Polynomial. Integer. Z. Abstract Structures are modelled as abstract classes.

rworthley
Download Presentation

Axiomatic Mathematics meets Object Oriented Programming

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Axiomatic Mathematics meets Object Oriented Programming

  2. Use the GoF Mediator pattern for Implementing Abstract Mathematics. Ring * Ring Element R R[X] X:String Polynomial Integer Z

  3. Abstract Structures are modelled as abstract classes. Abstract: An arbitrary (unspecified) ring Ring R Concrete: Ring of Integers, Polynomial Rings, … R[X] X:String Z

  4. Abstract: addition negation multiplication inversion "zero" "one" check if zero Not abstract: subtraction exponentiation embedding of Z and Q Check for equality evaluation of polynomials Axiomatic definitions are implemented as abstract methods. Ring Example:

  5. Rings, Polynomial Rings, Integers, Rational Functions, Algebraic Extensions, Cyclotomic Fields, Universal Rings, etc. groups, metric spaces, topological spaces, group rings, etc. The mediator pattern is used in the Java com.perisic.ring package for: But it can be applied to any mathematical structure, such as:

  6. Further Reading • The Java package com.perisic.ring is available at: http://ring.perisic.com • M. Conrad, T. French, Exploring the synergies between the Object-Oriented paradigm and Mathematics: A Java led approach, to appear in Int. J. Math. Educ. Sci. Technol. • M. Conrad, T. French, C. Maple, S. Pott, Mathematical Use Cases lead naturally to non-standard Inheritance Relationships – How to make them accessible in a mainstream language?, MASPEGHI 2004 (WS 12 of ECOOP)

  7. Marc Conrad marc.conrad@luton.ac.uk Tim French tim.french@luton.ac.uk Carsten Maple carsten.maple@luton.ac.uk University of Luton Dept. of Computing and IT Park Square Luton LU1 3JU, UK Cambridge Luton Oxford London Contact

More Related