A Method for Expanding Predicates and Rules in Automated Geometry Reasoning System
Predicates and rules are usually enclosed as built-in functions in automated geometry reasoning systems, meaning users cannot add any predicate or rule, thus resulting in a limited reasoning capability of the systems. A method for expanding predicates and rules in automated geometry reasoning system...
Furkejuvvon:
| Váldodahkkit: | , , , , |
|---|---|
| Materiálatiipa: | Artigo |
| Giella: | Inglês |
| Almmustuhtton: |
MDPI AG
2022-04-01
|
| Ráidu: | Mathematics |
| Fáttát: | |
| Liŋkkat: | https://www.mdpi.com/2227-7390/10/7/1177 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|