last theorem

TechRepublic Resources

• sort by:
• Relevance
• Date
• Popularity

Geek Trivia: The math behind the myth

Which mathematician mistakenly solved an "impossible" problem as a homework assignment, inspiring a modern urban myth? In the long and storied history of uber-level mathematics, perhaps the holiest of Holy Grails was a proof for Fermat's Last Theorem, which holds that there are no positive integers x,...

Tags: Fermat, Jay Garmon, Andrew Wiles, Last Theorem, Geek Trivia Newsletter, TechRepublic Inc., Proof, Mathematician

Technical articles 2006-02-21

Additional Resources

Pythagorean Theorem Integer Solver 1.1 (Mac)

This program finds all INTEGER solutions to the Pythagorean Theorem, A^2 + B^2 = C^2, up to a given value of "A" that the user specifies (it solves for B and C integer values, given A). Example: A=3, B=4, and C=5 is a solution. The solver removes all non-unique solutions...

Tags: Program, Apple Macintosh, C/C++, Programming Languages, Desktops, Software Development, Software/Web Development, Hardware

Software downloads 2002-01-04

An Universal GUI for Theorem Provers

This paper describes architecture of an universal Graphical User Interface GUI for any theorem prover. The implemented solution is tested on a GUI for description logics. The solution is implemented using Eclipse development tool. It contains a set of plug-ins for tracking the process of reasoning based on tableau. Main...

Tags: GUI, University Of Belgrade

White papers 2007-03-20

Regarding Fermat Theorem solving by Wiles

I just wanted to note that Wiles solution is shaky at most as very few people have understood the special case to the elliptical curves conjecture he devised.

Tags: Wiles

Discussion threads 2006-02-22

The House that Math Built 1.0 (Windows)

Educational software for middle and high school mathematics classes. It teaches fundamental mathematics concepts such as area, length, Pythagoras theorem, volume from a real world perspective

Tags: Microsoft Windows, Tools & Techniques, Operating Systems, Software, Management

Software downloads 2002-05-08

A Geometric Theorem for Wireless Network Design Optimization

Consider an infinite square grid G. How many discs of given radius r, centered at the vertices of G, are required, in the worst case, to completely cover an arbitrary disc of radius r placed on the plane? The paper shows that this number is an integer in the set...

Tags: Optimization, Network, California Institute Of Technology, Disc, Radius, Wireless Network, Wireless

White papers 2007-01-01

Pythagorean Theorem 1 (Windows)

This program functions similarly to a calculator, but you plug in the numbers where it tells you and that's it. It's easier than typing it in any calculator. The program was made using just basic and it has an easy to use interface. To uninstall, simply delete the folder. There...

Tags: Folder, Function, Mammon, Microsoft Windows, Operating Systems, Software

Software downloads 2005-12-02

Shape Calculator 1 (Windows)

Shape Calculator is a tool designed to help find the volume, surface area, perimeter, or area of an object. It can also do Metric or U.S. conversions, The Pythagorean Theorem, and distance and midpoint formulas. Shape Calculator was written in Visual Basic and was designed to be a study tool...

Tags: Tool, James, Productivity, Microsoft Windows, Microsoft Development Tools, Programming Languages, Operating Systems, Software, Development Tools, Software Development, Software/Web Development

Software downloads 2007-02-21

Bayes' Theorem

Hi all.... i am sooooo a newbie here... im an IT student.... and i believe i will gain more good and no harm by joining techrepublic...Long story short, im currently started doing my final year project titled "Document Categorization using Text Mining", which was proposed by my supervisor... i find...

Tags: Bayes

Discussion threads 2008-04-16

IFS Lab Fractal Generator 1.1 (Windows)

An interactive IFS Fractal generator focused on the Collage Theorem, IFS Lab allows the user to sketch an approximate outline of the desired fractal, then cover it with transformed images of itself to build a collage. The transformed images can be stretched, rotated and translated with the mouse in an...

Tags: Generator, Fractal, Microsoft Windows, Image, Nathan Zeldes

Software downloads 2006-02-13

Force-on-Nuclei 2.1 (Windows)

Force-on-Nuclei [FN] attempts to calculate the force acting on a nucleus using the electron-density specifying 'cube' file for the given molecule. As per the Hellmann-Feynman electrostatic theorem, this force is simply the resultant of the Coulombic force of attraction by the smeared-out electron cloud and of repulsion by all other...

Tags: Force, Eastern Star Software, Microsoft Windows, Operating Systems, Software

Software downloads 2008-08-30

VIRT language interpreter 1.0 (Windows)

VIRT is an imperative object-oriented programming language which was specially developed for the solving of AI problems. The main feature of VIRT is the new technology of the processing of the dynamics data structures which does not use concepts such as "pointer" and "address". VIRT has the flexible control structures...

Tags: Object-oriented Programming, Microsoft Windows, Object-oriented, Alexander Baranovsky, VIRT, Ooa/Ood/Oop, Software Development, Software/Web Development

Software downloads 2000-06-01

Reformulation of XML Queries and Constraints

The authors state and solve the query reformulation problem for XML publishing in a general setting that allows mixed XML and relational storage for the proprietary data and exploits redundancies (materialized views, indexes and caches) to enhance performance. The correspondence between published and proprietary schemas is specified by views in...

Tags: Algorithm, XML Query, University Of California, XML, Engineering, Software/Web Development, Web Development

White papers 2008-10-18

Verified Interoperable Implementations of Security Protocols

This paper presents an architecture and tools for verifying implementations of security protocols. The implementations can run with both concrete and symbolic cryptographic libraries. The concrete implementation is for production and interoperability testing. The symbolic implementation is for debugging and formal verification. The paper develops the approach for protocols written...

Tags: Implementation, Protocol, Security

White papers 2006-02-01

Verified Reference Implementations of WS-Security Protocols

This paper describes a new reference implementation of the web services security specifications. The implementation is structured as a library in the functional programming language F#. Applications written using this library can interoperate with other compliant web services, such as those written using Microsoft WSE and WCF frameworks. Moreover, the...

Tags: Reference Implementation, Web Services Security, Windows Communication Foundation, Functional Programming, Web Services, Security, Enterprise Software, Software

White papers 2006-06-27

An Application of Central Limit Theorem to Wide Area Network Service Level Agreement Analyses

Managed Network Service Providers NSP supply the bandwidth, transport, equipment, and management services to connect disparate locations across the corporate enterprise. To ensure levels of quality for traffic transiting these networks, Service Level Agreements for latency, availability, and packet loss are included in the contractual arrangements between provider and customer....

Tags: Northwestern University, Service Level Management, WANs, Business Services, Networking, It Operations, It service Management

White papers 2006-11-09

Authenticity by Typing for Security Protocols

This paper proposes a new method to check authenticity properties of cryptographic protocols. First, code up the protocol in the spi-calculus of Abadi and Gordon. Second, specify authenticity properties by annotating the code with correspondence assertions in the style of Woo and Lam. Third, figure out types for the keys,...

Tags: Protocol, Security

White papers

Formal Analysis and Verification of an OFDM Modem Design Using HOL

This paper formally specifies and verifies an implementation of the IEEE802.11a standard physical layer based OFDM Orthogonal Frequency Division Multiplexing modem using the HOL Higher Order Logic theorem prover. The versatile expressive power of HOL helped model the original design at all abstraction levels starting from a floating-point model to...

Tags: IEEE, Analysis, OFDM, Wireless

White papers 2006-08-01

MathHouse 3D 1.02 (Mac)

Challenging and simulating game that takes the student step by step from designing the lot to putting up the roof of the house. Each step is a mathematical problem that ranges from simple plane geometry to algebraic equation. Cutting edge 3D graphics and extensive help sections assist students in learning...

Tags: Apple Macintosh, Equation, Student, Games, Personal Technology

Software downloads 2006-12-04

GeometryProof Professional Edition 5.1 (Windows)

GeometryProof Professional Edition 5.1 is an educational software developed to help you solve geometric proof on artificial intelligence methods Proof Strategy and you can edit the proof. Main functions includes Proof Strategy, through a searching engine, it displays a large amount of relevant proof and plans of proving. User can...

Tags: Artificial Intelligence, Proof, Microsoft Windows, Scienpoint Software, GeometryProof Professional Edition 5.1, Main Function

Software downloads 2006-01-31