DeepAI
Chat Image GeneratorImage Video Music Voice Chat Photo Editor Website BuilderBeta
Pricing

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata

02/02/2021
∙
by   Reed Oei, et al.
∙
0
∙

Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently proving non-trivial mathematical theorems about all Sturmian words.

READ FULL TEXT

Please sign up or login with your details

Continue with:
Or login with email
Enter Password
Re-enter Password

Forgot password? Click here to reset

Out of credits

Add credits to your account

Automatically add credits when your balance is low. Never run out again!
Success!
Error Icon An error occurred

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×
Pro

Consider DeepAI Pro

Subscribe to DeepAI Pro
DeepAI Pro
Provides a limited generation allowance each month. When exceeded, you are charged overage rates available at deepai.org/pricing. Also includes an ad-free experience and API access. Renews automatically until canceled. Non-refundable.
Subtotal
Total due today

By subscribing, you authorize Deep AI, Inc. to charge you according to the terms until you cancel.
Terms · Privacy

Payment
Add DeepAI credits
DeepAI credits
One-time purchase. Credits are added to your wallet after payment.
Subtotal
Total due today

Terms · Privacy

Payment