KANT

Known as: Kash, Kant (disambiguation), KANT (mathematics) 
KANT is a computer algebra system for mathematicians interested in algebraic number theory, performing sophisticated computations in algebraic number… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
As kidney exchange programs are growing, manipulation by hospitals becomes more of an issue. Assuming that hospitals wish to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
In distributed work systems, individual users perform work for other users. A significant challenge in these systems is to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
At the heart of the Critique of Pure Reason lies a distinction between two fundamental cognitive powers, sensibility and… (More)
Is this relevant?
2008
2008
This article uses historical data on inventor and firm research and development (R&D) lab locations to examine the technological… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
2006
2006
Optical testing of advanced CMOS circuits successfully exploits the near-infrared photon emission by hot-carriers in transistor… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2005
2005
In this paper, we describe an advanced optical diagnostic technique used for diagnosing the IBM z990 eServer microprocessor… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
In this paper I will compare the concept of explication à la Carnap and the concept of explication à la Kant. This essay should… (More)
Is this relevant?
1997
1997
The software package KANT V4 for computations in algebraic number elds is now available in version 4. In addition a new user… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
DTG are designed to share some of the advantages of TAG while overcoming some of its limitations. DTG involve two composition… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require… (More)
  • figure 1
Is this relevant?