Elementary Proofs of Two Fundamental Theorems of B. Segre without Using the Hasse-Weil Theorem.
Joseph A. ThasPublished in: J. Comb. Theory, Ser. A (1983)
Keyphrases
- interactive theorem proving
- digital topology
- cut elimination
- sequent calculus
- theorem proving
- data sets
- theorem prover
- feature selection
- neural network
- mathematical proofs
- artificial neural networks
- inference rules
- reinforcement learning
- decision procedures
- natural deduction
- web services
- school children
- intuitionistic logic
- formal proofs
- database