Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,553,172 papers from all fields of science
Search
Sign In
Create Free Account
Geometry Expert
Geometry Expert (GEX) is a Chinese software for dynamic diagram drawing and automated geometry theorem proving and discovering. There's a new Chinese…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Broader (1)
Automated theorem proving
List of interactive geometry software
Mathematics-Mechanization Platform
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
An Improved Parallel Poisson Solver for Space Charge Calculation in Beam Dynamics Simulation
Dawei Zheng
,
J. Qiang
,
U. Rienen
2016
Corpus ID: 55261091
In numerous beam dynamics simulations of particle accelerators, the space charge calculation is a critical issue. The ways to…
Expand
2013
2013
Studies directed towards the total synthesis of herboxidiene gex 1a and pyrenophorol
M. Reddy
2013
Corpus ID: 104571775
2012
2012
Spin effects in self-assembled semiconductor quantum dots
F. Klotz
2012
Corpus ID: 125705916
Several spin effects in quantum dots were studied using optical spectroscopy at low temperatures and high magnetic fields. The…
Expand
2010
2010
Geometry Knowledge Acquisition and Representation on Ontology: Geometry Knowledge Acquisition and Representation on Ontology
Xiuqin Zhong
,
Hongying Fu
,
Li She
,
B. Huang
2010
Corpus ID: 62643369
2008
2008
KA and Realization in Junior Middle School Geometry Expert System
Wang Qi-shun
2008
Corpus ID: 63560146
Describes the generic process of KA and realization in the junior middle school geometry expert system,indicates the difficulty…
Expand
2005
2005
Kieferorthopädische Untersuchungsergebnisse bei Zigeunerkindern
T. Rákoši
Fortschritte der Kieferorthopädie
2005
Corpus ID: 6403562
Eine gex~isse Mensehengruppe, die gemeinsame heredit/ire Anlagen hat, kann unter gleiehen Umweltseinflfissen leben und hat die…
Expand
2005
2005
Java Geometry Expert and its Applications to Geometry Education
S. Chou
2005
Corpus ID: 8672640
The Java Geometry Expert (Java GEX) is a piece of software for dynamic geometry. Java GEX also has the powerful proof methods…
Expand
Review
1996
Review
1996
Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract)
H. Ganzinger
CADE
1996
Corpus ID: 5963598
Saturation means to compute the closure of a given set of formulas under a given set of inference rules. Resolution, Knuth/Bendix…
Expand
1964
1964
Prof. Dr. phil. Bruno Schulze 65 Jahre
G. Becher
Holz als Roh- und Werkstoff
1964
Corpus ID: 31941868
s .%." c h u I z e wurde ~ m 8J anunr 1 $99 in Berlin geboren. Hier ist (r aufgewachsen und ha t er naeb dem Abi tu r und einer…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE