ScienceGate
Advanced Search
Author Search
Journal Finder
Blog

Sign in / Sign up

ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up

Nonstandard Geometric Proofs

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_15 ◽

2001 ◽

pp. 246-267 ◽

Cited By ~ 2

Author(s):

Jacques D. Fleuriot

Services

Search Engine
Journal Finder
Author Search
Bibliometric Visualization

Support

FAQs
For Editors
For Authors
Advertise With Us

Links

About Us
Contact Us
Terms and Conditions
Privacy Policy

[email protected]

The ScienceGate team tries to make research easier by managing and providing several unique services gathered in a web platform

©2025 ScienceGate All rights reserved.

Sign in / Sign up

Export Citation Format

Share Document