Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

QR Code

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reas...

Full description

Bibliographic Details
Main Authors:	Zimmer, Juergen, Dennis, Louise Abigail
Other Authors:	Calmet, J.
Format:	Conference or Workshop Item
Published:	Springer 2002
Online Access:	https://eprints.nottingham.ac.uk/322/

Similar Items

Aspects of the theory of containers within automated theorem proving
by: Prince, Rawle C.S.
Published: (2011)

Theorem proving for all: equational reasoning in Liquid Haskell
by: Vazou, Niki, et al.
Published: (2018)

What can be learned from failed proofs of non-theorems?
by: Dennis, Louise Abigail, et al.
Published: (2005)

On limit theorems in JW-Algebras
by: Karimov , Abdusalom, et al.
Published: (2010)

Martingal convergence theorems on JW-algebras
by: Mukhamedov, Farrukh, et al.
Published: (2009)

Martingale convergence theorems in JW-Algebras
by: Karimov , Abdusalom, et al.
Published: (2010)

Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure
by: Toh, Sing Poh
Published: (2008)

A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach
by: Natarajan, Surash
Published: (1994)

The fundamental basis theorem of geometry from an algebraic point of view
by: Bekbaev, Ural
Published: (2017)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Malaysian varsities prove their worth
by: Mustafa, Zulita
Published: (2018)

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

Green concrete proves more durable to fire
by: Sarker, Prabir, et al.
Published: (2015)

A jurisprudential study: proving witchcraft in Africa
by: Mosaka, Tshepo Bogosiboile
Published: (2021)

Histology To Prove Occurrence Somatic Embryogenesis In Drosera burmannii
by: Hafsa, Tayyab
Published: (2017)

Standard of proof required to prove fraud in civil cases
by: Shair Mohamad, Mohd Akram
Published: (2011)

Multi-jurisdictional linkage in Australia: proving a concept
by: Rosman, D., et al.
Published: (2015)

Ridiculed that she wouldn’t succeed, Laili proves otherwise
by: Siti Nurfarmy, Ibrahim
Published: (2023)

On the Cauchy-Goursat theorem
by: Azram, Mohammad, et al.
Published: (2010)

No-Go theorems and quantization
by: Zainuddin, Hishamuddin, et al.
Published: (2007)

Application of Computer Algebra System to Geodesy
by: Zaletnyik, P., et al.
Published: (2009)

Geospatial algebraic computations: Theory and applications
by: Awange, Joseph, et al.
Published: (2016)

Algorithms for computations of Loday algebras’ invariants
by: Said Husain, Sharifah Kartini, et al.
Published: (2017)

Algorithms for computations of invariants of Loday algebras
by: Rakhimov, Isamiddin Sattarovich
Published: (2009)

MAT517 – Computational Linear Algebra
by: PPSM, Pusat Pengajian Sains Matematik
Published: (2022)

Improve cloud computing security using RSA encryption with Fermat's little theorem
by: Mohamed Shereek, Balkees, et al.
Published: (2014)

Design and construction of a co-planar power bus interconnect for low inductance switching
by: Lin, Xi, et al.
Published: (2017)

Proving the allegation of sexual harassment in schools and institutions of higher learning
by: Shair Mohamad, Mohd Akram, et al.
Published: (2016)

Numbering with Spiral Pattern to Prove Authenticity and Integrity in Medical Images
by: Syifak Izhar, Hisham, et al.
Published: (2016)

‘Graduates must prove their worth to potential employers’ – Dr Sim
by: Borneo Post, Online
Published: (2015)

Amirah's recurring injury may prove to be her achilles' heel
by: Singh, Aftar
Published: (2013)

Newly - paired Mun Yee - Dhabitah aim to prove themselves
by: The Star
Published: (2018)

BE INDEPENDENT AND PROVE THAT YOU ARE CAPABLE, USM VC URGES GRADUANDS
by: MPRC, Pusat Media & Perhubungan Awam
Published: (2016)

Idris proves that hard work is key no matter one's background
by: K.M., Boopathy
Published: (2022)

The best approximation theorems and fixed point theorems for discontinuous increasing mappings in Banach spaces
by: Kong, D., et al.
Published: (2015)

An introduction to the use of time analyser software to measure computer use
by: Schaper, Louise, et al.
Published: (2005)

Generating theorems for s-norms and t-norms
by: Shawkat Mahmoud Rasheed Alkhazaleh,, et al.
Published: (2008)

On the generalized Radimacher-Menchoff Theorem
by: Ahmedov, Anvarjon A., et al.
Published: (2018)