Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
Inventor:
Aagaard; Mark D.
Address:
Waterloo, CA
No. of patents:
1
Patents:












Patent Number Title Of Patent Date Issued
7181729 Methods and systems for an interactive theorem-proving tool with reflective capabilities February 20, 2007
Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of commands and assumptions are processed they are trac










 
 
  Recently Added Patents
Digital-to-analog converter and performing method thereof
Electronic device, display, image processing apparatus and electronic calculating apparatus
Touch sensing technology
Controller for flexible and extensible flow processing in software-defined networks
Statistical identification of instances during reconciliation process
Apparatus for merging spatial audio streams
Method and system for producing fluoride gas and fluorine-doped glass or ceramics
  Randomly Featured Patents
Depleted UF6 processing plant and method for processing depleted UF6
Electrochemical production of sodium hydroxide and sulfuric acid from acidified sodium sulfate solutions
Spectroscopy and mapping of atoms, molecules and surface features via difference frequency generation with a scanning tunneling microscope or related instruments
Flexible impeller pumps for mixing individual components
Alstroemeria plant named `Zalsabrand`
Floor cleaning machine
Sprayer cartridge
Method for manufacturing a bipolar battery and a biplate assembly
System and method for digital communication having a circulant bit interleaver for equal error protection (EEP) and unequal error protection (UEP)
High pressure reinforced rubber hose swage or crimped coupling and method of attachment