Axiom Technologies Terms of Service: Wireless/DSL/VoIP/Mobile Products Access to the Internet Service is provided subject to the following Terms and Conditions: 1. The Internet Service provided to the Subscriber by AXIOM

Source URL: www.connectwithaxiom.com

• Broadband
• Digital subscriber line
• Internet access
• Modems
• Axiom
• Voice over IP

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Source URL: www.cs.tau.ac.il

• Mathematical logic
• Operations research
• Algorithm
• Theoretical computer science
• Axiom
• Logic programming
• Euclidean geometry
• Datalog
• Mathematical optimization
• Constraint satisfaction
• Satisfiability modulo theories
• Foundations of geometry

Quelques lignes d’input dans Axiom Abstract Ce documaine est un premi`ere pr´esentation d’Axiom, pr´evue pour un novice. On montrera surtout le fonctionnement de l’interprˆete, en pr´esent

Source URL: www.lix.polytechnique.fr

And the Winners Are... An Axiomatic Approach to Selection from a Set

Source URL: ftp.iza.org

• Z notation
• Axiom
• S
• Combination
• Foundations of mathematics
• Metric
• Axiom of infinity
• Peano axioms

$SPAD/input schaum28.input Timothy Daly June 15, 2008 1

Source URL: axiom-developer.org

• Hyperbolic geometry
• Exponentials
• Hyperbolic function
• Special relativity
• Quaternions

PDF Document

Source URL: connectwithaxiom.com

• Spamming
• Email
• Acceptable use policy
• Information technology management
• File sharing
• Tort law
• Email spam
• Axiom
• Copyright infringement

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035

Source URL: ti.arc.nasa.gov

• Software requirements
• Formal methods
• Procedural programming languages
• Requirement
• Comment
• Formal verification
• Traceability
• Axiom
• C
• Mathematical proof
• Metamath

$SPAD/input schaum30.input Timothy Daly June 15, 2008 1

Source URL: axiom-developer.org

• Hyperbolic geometry
• Exponentials
• Hyperbolic function
• Inverse hyperbolic function
• Tanh-sinh quadrature
• Bending of plates

Recombinable Game Mechanics for Automated Design Support

Source URL: www.kmjn.org

• Leisure
• Game design
• Gaming
• Video game design
• Logic in computer science
• Theoretical computer science
• Video game development
• Game mechanics
• Event calculus
• Calculus
• Axiom
• Platform game

SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer

Source URL: www.cs.utoronto.ca