Loading...
Statistics
Advertisement

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
www.keymaerax.org/
KeYmaera X is an aXiomatic tactical theorem prover for hybrid systems with a minimal prover core and a flexible tactics language for automatic proof search.

Keymaerax.org

Domain is redirected to: Ls.cs.cmu.edu
Advertisement
Conversion Technology Metas Server
Keymaerax.org is hosted in United States / Pittsburgh . Keymaerax.org doesn't use HTTPS protocol. Number of used technologies: 2. First technologies: CSS, Html, Number of used javascripts: 0. Number of used analytics tools: 0. Its server type is: Apache.

Technologies in use by Keymaerax.org

Technology

Number of occurences: 2
  • CSS
  • Html

Advertisement

Server Type

  • Apache

Conversion rate optimization
visitors Clickable call number Not founded!
visitors Conversion form (contact form, subcriber) Not founded!
visitors Clickable email Not founded!
visitors CTA (call to action) button Not founded!
visitors List Founded!
visitors Image Not founded!
visitors Enhancement Not founded!
visitors Responsive website Not founded!
visitors Facebook sharing Not founded!
visitors Google+ sharing Not founded!
visitors Twitter sharing Not founded!
visitors Linkedin sharing Not founded!
visitors Blog on the webiste Not founded!

HTTPS (SSL) - Keymaerax.org

Missing HTTPS protocol.

    Meta - Keymaerax.org

    Number of occurences: 6
    • Name:
      Content: 86400
    • Name: author
      Content: Andre Platzer
    • Name: copyright
      Content: © 1996-2014 André Platzer
    • Name: classification
      Content: Science/Math/Logic and Foundations/Software
    • Name: keywords
      Content: KeYmaera X, differential dynamic logic, hybrid systems verification tool, hybrid systems prover, hybrid systems proof, KeYmaera X verification tool, uniform substitution, hybrid theorem prover, sequent calculus, automated theorem proving, decision procedures, computer algebra, verification of parametric hybrid systems, quantifier elimination, first-order real arithmetic, deduction, hybrid programs, parameter analysis, differential invariants, differential variants, chimaera, chimera
    • Name: description
      Content: KeYmaera X is an aXiomatic tactical theorem prover for hybrid systems with a minimal prover core and a flexible tactics language for automatic proof search.

    Server / Hosting

    • IP: 128.2.217.27
    • Latitude: 40.44
    • Longitude: -79.96
    • Country: United States
    • City: Pittsburgh

    Rname

    • ns1.hans.hosteurope.de
    • ns2.hans.hosteurope.de
    • mx0.keymaerax.org

    Target

    • hostmaster.keymaerax.org

    HTTP Header Response

    HTTP/1.1 301 Moved Permanently Date: Wed, 13 Apr 2016 05:48:21 GMT Content-Type: text/html; charset=iso-8859-1 Connection: keep-alive Server: Apache Location: http://www.ls.cs.cmu.edu/KeYmaeraX/ HTTP/1.1 200 OK Date: Wed, 13 Apr 2016 05:48:21 GMT Server: Apache Last-Modified: Mon, 11 Apr 2016 09:03:57 GMT ETag: "5b100394-2a43-53031d31d5940" Accept-Ranges: bytes Content-Length: 10819 Content-Type: text/html

    DNS

    host: keymaerax.org
    1. class: IN
    2. ttl: 86400
    3. type: A
    4. ip: 80.237.132.24
    host: keymaerax.org
    1. class: IN
    2. ttl: 259200
    3. type: NS
    4. target: ns1.hans.hosteurope.de
    host: keymaerax.org
    1. class: IN
    2. ttl: 259200
    3. type: NS
    4. target: ns2.hans.hosteurope.de
    host: keymaerax.org
    1. class: IN
    2. ttl: 2560
    3. type: SOA
    4. mname: ns1.hans.hosteurope.de
    5. rname: hostmaster.keymaerax.org
    6. serial: 2015040421
    7. refresh: 16384
    8. retry: 2048
    9. expire: 1048576
    10. minimum-ttl: 2560
    host: keymaerax.org
    1. class: IN
    2. ttl: 86400
    3. type: MX
    4. pri: 50
    5. target: mx0.keymaerax.org
    host: keymaerax.org
    1. class: IN
    2. ttl: 86400
    3. type: AAAA
    4. ipv6: 2a01:488:42:1000:50ed:8418:47:b230

    Common Typos/Mistakes

    This list shows You some spelling mistakes at internet search for this domain.

    www.eymaerax.org, www.kteymaerax.org, www.teymaerax.org, www.keymaerax.org, www.eymaerax.org, www.kgeymaerax.org, www.geymaerax.org, www.kbeymaerax.org, www.beymaerax.org, www.kneymaerax.org, www.neymaerax.org, www.kheymaerax.org, www.heymaerax.org, www.kyeymaerax.org, www.yeymaerax.org, www.kleymaerax.org, www.leymaerax.org, www.koeymaerax.org, www.oeymaerax.org, www.kueymaerax.org, www.ueymaerax.org, www.kieymaerax.org, www.ieymaerax.org, www.kmeymaerax.org, www.meymaerax.org, www.kymaerax.org, www.kexymaerax.org, www.kxymaerax.org, www.kesymaerax.org, www.ksymaerax.org, www.kewymaerax.org, www.kwymaerax.org, www.kerymaerax.org, www.krymaerax.org, www.kefymaerax.org, www.kfymaerax.org, www.kevymaerax.org, www.kvymaerax.org, www.kecymaerax.org, www.kcymaerax.org, www.keqymaerax.org, www.kqymaerax.org, www.keaymaerax.org, www.kaymaerax.org, www.keyymaerax.org, www.kyymaerax.org, www.kemaerax.org, www.keyzmaerax.org, www.kezmaerax.org, www.keyamaerax.org, www.keamaerax.org, www.keysmaerax.org, www.kesmaerax.org, www.keydmaerax.org, www.kedmaerax.org, www.keymaerax.org, www.kemaerax.org, www.keycmaerax.org, www.kecmaerax.org, www.key maerax.org, www.ke maerax.org, www.keyaerax.org, www.keympaerax.org, www.keypaerax.org, www.keymoaerax.org, www.keyoaerax.org, www.keymiaerax.org, www.keyiaerax.org, www.keymkaerax.org, www.keykaerax.org, www.keym.aerax.org, www.key.aerax.org, www.keymuaerax.org, www.keyuaerax.org, www.keymjaerax.org, www.keyjaerax.org, www.keymnaerax.org, www.keynaerax.org, www.keym-aerax.org, www.key-aerax.org, www.keymerax.org, www.keymaoerax.org, www.keymoerax.org, www.keymaperax.org, www.keymperax.org, www.keyma9erax.org, www.keym9erax.org, www.keymaerax.org, www.keymerax.org, www.keymaierax.org, www.keymierax.org, www.keymauerax.org, www.keymuerax.org, www.keymarax.org, www.keymaexrax.org, www.keymaxrax.org, www.keymaesrax.org, www.keymasrax.org, www.keymaewrax.org, www.keymawrax.org, www.keymaerrax.org, www.keymarrax.org, www.keymaefrax.org, www.keymafrax.org, www.keymaevrax.org, www.keymavrax.org, www.keymaecrax.org, www.keymacrax.org, www.keymaeqrax.org, www.keymaqrax.org, www.keymaearax.org, www.keymaarax.org, www.keymaeyrax.org, www.keymayrax.org, www.keymaeax.org, www.keymaeriax.org, www.keymaeiax.org, www.keymaeroax.org, www.keymaeoax.org, www.keymaerlax.org, www.keymaelax.org, www.keymaerlax.org, www.keymaelax.org, www.keymaer.ax.org, www.keymae.ax.org, www.keymaerx.org, www.keymaeraox.org, www.keymaerox.org, www.keymaerapx.org, www.keymaerpx.org, www.keymaera9x.org, www.keymaer9x.org, www.keymaerax.org, www.keymaerx.org, www.keymaeraix.org, www.keymaerix.org, www.keymaeraux.org, www.keymaerux.org, www.keymaera.org, www.keymaeraxq.org, www.keymaeraq.org, www.keymaerax.org, www.keymaera.org, www.keymaeraxa.org, www.keymaeraa.org, www.keymaeraxs.org, www.keymaeras.org, www.keymaeraxd.org, www.keymaerad.org, www.keymaeraxe.org, www.keymaerae.org,

    Other websites we recently analyzed

    1. Welcome to Photographic Memories
      Wedding Pictures, Senior Pictures, Team Sports Pictures, Action Sports Pictures, Advertising Pictures, Company Banquet Pictures, Family Pictures
      Scottsdale (United States) - 50.63.202.30
      Server software:
      Technology: Html
      Number of meta tags: 2
    2. Page Does Not Exist
      Los Angeles (United States) - 64.19.237.240
      Server software: BigIP
      Technology: Html
    3. .: Renice - Home :.
      La Renice Cave Muggesane estrae da cave di proprietà la pietra arenaria (Masegno di Muggia) che viene utilizzata in opere di architettura urbana (pavimentazioni di piazze, strade e muri stradali) ed opere di edilizia per esterni ed interni.
      Italy - 80.66.208.67
      Server software: Apache/1.3.33 (Debian GNU/Linux) PHP/4.3.10-22
      Technology: CSS, Javascript, Php
      Number of meta tags: 4
    4. dankovatch.net
      Scottsdale (United States) - 184.168.221.96
      Server software: Microsoft-IIS/7.5
      Technology: Html, Html5, Iframe
    5. Urban Producers Survey - A Center for Urban Farmers Project
      The center promotes local food production for wholistic community development. It is a hub for Information, resources and dialog, that informs the development of eduction and advocacy programs.
      Wayne (United States) - 74.208.60.20
      Server software: Apache
      Technology: CSS, Html, Iframe, Javascript
      Number of Javascript: 1
      Number of meta tags: 3
    6. 695396.com
      Las Vegas (United States) - 70.39.84.242
      Server software:
      Technology: Html, Javascript, jQuery
      Number of Javascript: 2
      Number of meta tags: 1
    7. Pousada Solari Di Gramado
      Situada en Gramado, a 1 km del centro de la ciudad, la Pousada Solari di Gramado ofrece conexión Wi-Fi gratuita en todo el hotel. El albergue está a 99 km d
      Miami Beach (United States) - 38.105.10.115
      G Analytics ID: UA-22408901-17
      Server software: nginx/1.2.9
      Technology: CloudFront, AJAX Libraries API, CSS, Google Font API, Html, Html5, Javascript, SVG, Facebook Retargeting, Google Analytics, Hotjar, Facebook Box
      Number of Javascript: 18
      Number of meta tags: 4
    8. bees4sale.co.uk
      United Kingdom - 94.126.40.154
      Server software: Apache/2.2.22 (Debian)
      Technology: CSS, Html, Html5, Javascript
      Number of meta tags: 5
    9. Consortium of Legal Resource Centers
      Latvia - 81.198.75.103
      Server software: squid/3.5.13
      Technology: CSS, Html
      Number of meta tags: 1
    10. Clutterconsulting, creating beauty
      Provo (United States) - 69.89.31.161
      Server software: nginx/1.8.1
      Technology: CSS, Google Font API, Html, Html5, Javascript, jQuery, Php, Pingback, Revslider, Shortcodes, Wordpress
      Number of Javascript: 24
      Number of meta tags: 3

    Check Other Websites