chapter

Algebraic methods for geometric reasoning

Authors:

B. Buchberger,

G. E. Collins,

B. KutzlerAuthors Info & Claims

Annual review of computer science: vol. 3, 1988

September 1988

Pages 85 - 119

Published: 01 September 1988 Publication History

Abstract

No abstract available.

Cited By

View all

Wang KSu Z(2015)Automated geometry theorem proving for human-readable proofsProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832249.2832414(1193-1199)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832249.2832414
Pfalzgraf J(2008)On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer AlgebraProceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics10.1007/978-3-540-85110-3_2(2-16)Online publication date: 28-Jul-2008
https://dl.acm.org/doi/10.1007/978-3-540-85110-3_2
Kwaiter GGaildrat VCaubet RHoffmann CBronsvoort WAllen GPratt MRosen D(1997)Interactive constraint system for solid modeling objectsProceedings of the fourth ACM symposium on Solid modeling and applications10.1145/267734.267803(265-270)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/267734.267803
Show More Cited By

Index Terms

Algebraic methods for geometric reasoning
1. Applied computing
  1. Physical sciences and engineering
    1. Mathematics and statistics

Recommendations

Quantitative Algebraic Reasoning
LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

We develop a quantitative analogue of equational reasoning which we call quantitative algebra. We define an equality relation indexed by rationals: a = ε b which we think of as saying that "a is approximately equal to b up to an error of ε ". We have 4 ...
A Clifford Algebraic Method for Geometric Reasoning
ADG '98: Proceedings of the Second International Workshop on Automated Deduction in Geometry

In this paper a method for mechanical theorem proving in geometries is proposed. We first discuss how to describe geometric objects and geometric relations in 2D and/or 3D Euclidean space with Clifford algebraic expression. Then we present some rules to ...
Automated Geometric Reasoning with Geometric Algebra: Theory and Practice
ISSAC '17: Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation

Comments

Information & Contributors

Information

Published In

Annual review of computer science: vol. 3, 1988

September 1988

423 pages

ISBN:0824332032

Editor:
Joseph F. Traub
Columbia Univ., New York, NY

Publisher

Annual Reviews Inc.

United States

Publication History

Published: 01 September 1988

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wang KSu Z(2015)Automated geometry theorem proving for human-readable proofsProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832249.2832414(1193-1199)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832249.2832414
Pfalzgraf J(2008)On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer AlgebraProceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics10.1007/978-3-540-85110-3_2(2-16)Online publication date: 28-Jul-2008
https://dl.acm.org/doi/10.1007/978-3-540-85110-3_2
Kwaiter GGaildrat VCaubet RHoffmann CBronsvoort WAllen GPratt MRosen D(1997)Interactive constraint system for solid modeling objectsProceedings of the fourth ACM symposium on Solid modeling and applications10.1145/267734.267803(265-270)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/267734.267803
Szántó ÁHong HKaltofen E(1997)Complexity of the Wu-Ritt decompositionProceedings of the second international symposium on Parallel symbolic computation10.1145/266670.266716(139-149)Online publication date: 20-Jul-1997
https://dl.acm.org/doi/10.1145/266670.266716
Hoffmann CRossignac J(1996)A Road Map To Solid ModelingIEEE Transactions on Visualization and Computer Graphics10.1109/2945.4893812:1(3-10)Online publication date: 1-Mar-1996
https://dl.acm.org/doi/10.1109/2945.489381
Menon JVoelcker H(1995)On the completeness and conversion of ray representations of arbitrary solidsProceedings of the third ACM symposium on Solid modeling and applications10.1145/218013.218057(175-286)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/218013.218057
Guergueb AMainguené JRoy MMacCallum M(1994)Examples of automatic theorem proving a real geometryProceedings of the international symposium on Symbolic and algebraic computation10.1145/190347.190354(20-24)Online publication date: 1-Aug-1994
https://dl.acm.org/doi/10.1145/190347.190354
Buchberger BEdelsbrunner H(1988)Algebraic methods for non-linear computational geometry (invited address)Proceedings of the fourth annual symposium on Computational geometry10.1145/73393.73402(81-82)Online publication date: 6-Jan-1988
https://dl.acm.org/doi/10.1145/73393.73402

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Quantitative Algebraic Reasoning

A Clifford Algebraic Method for Geometric Reasoning

Automated Geometric Reasoning with Geometric Algebra: Theory and Practice

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations