Alan Bundy - Author Profile

Edit Profile

Bundy, Alan

Author ID:	bundy.alan
Published as:	Bundy, Alan; Bundy, A.
External Links:	MGP · Wikidata · dblp · IdRef

Documents Indexed:	79 Publications since 1972, including 2 Books
	2 Contributions as Editor
Co-Authors:	60 Co-Authors with 60 Joint Publications
	929 Co-Co-Authors

all top 5

Co-Authors

20	single-authored
9	Green, Ian
8	Jamnik, Mateja
7	Ireland, Andrew
7	Smaill, Alan
6	van Harmelen, Frank
5	Winterstein, Daniel
4	Janičić, Predrag
3	Dennis, Louise Abigail
3	Dixon, Lucas
3	Grov, Gudmund
3	Gurr, Corin A.
3	Johansson, Moa
3	O’Keefe, Richard A.
3	Silver, Bernard
3	Steel, Graham
3	Sterling, Leon S.
3	Walsh, Toby
2	Basin, David A.
2	Byrd, Lawrence
2	Giunchiglia, Fausto
2	Hesketh, Jane
2	Liu, Weiru
2	Monroy, Raúl
2	Pease, Alison
2	Raggi, Daniel
2	Richardson, Julian
2	Stevens, Andrew
1	Abourbih, Jonathan A.
1	Armando, Alessandro
1	Atiyah, Michael Francis
1	Blaney, Luke
1	Boulton, Richard J.
1	Colton, Simon
1	Fateman, Richard J.
1	Fugard, Andrew
1	Gallagher, Jason
1	Gow, Jeremy
1	Horn, Christian
1	Hutter, Dieter
1	Kraan, Ina
1	Levine, John
1	Lin, Yuhui
1	Macintyre, Angus John
1	MacKenzie, Donald
1	Maclean, Ewen
1	Madden, Peter E.
1	Maidl, Monika
1	Manning, Alistair
1	McCasland, Roy L.
1	McLean, R. G. D.
1	McNeill, Fiona
1	Nuamah, Kwabena
1	Nunes, Alex
1	Plummer, Dave
1	Sebastiani, Roberto
1	Smith, Patrick Fleming
1	Villafiorita, Adolfo
1	Walsh, Toby
1	Welham, Bob
1	Whittle, Jon

all top 5

Serials

11	Journal of Automated Reasoning
6	Artificial Intelligence
3	Annals of Mathematics and Artificial Intelligence
2	International Journal of Approximate Reasoning
2	Formal Aspects of Computing
2	Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1	ACM Transactions on Mathematical Software
1	Notre Dame Journal of Formal Logic
1	SIGSAM Bulletin
1	Theoretical Computer Science
1	Journal of Symbolic Computation
1	Journal of Logic, Language and Information
1	International Journal of Human-Computer Studies
1	Journal of Functional Programming
1	Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1	Cambridge Tracts in Theoretical Computer Science
1	Lecture Notes in Computer Science
1	Mathematics in Computer Science

all top 5

Fields

73	Computer science (68-XX)
26	Mathematical logic and foundations (03-XX)
9	General and overarching topics; collections (00-XX)
3	Numerical analysis (65-XX)
3	Information and communication theory, circuits (94-XX)
1	Field theory and polynomials (12-XX)
1	Mechanics of particles and systems (70-XX)
1	Operations research, mathematical programming (90-XX)
1	Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

57 Publications have been cited 422 times in 255 Documents	Cited by ▼	Year ▼
The use of explicit plans to guide inductive proofs. Zbl 0656.68106 Bundy, Alan	41	1988
Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121 Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan	35	1993
Productive use of failure in inductive proof. Zbl 0847.68103 Ireland, Andrew; Bundy, Alan	34	1996
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108 Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew	31	2005
The automation of proof by mathematical induction. Zbl 0994.03007 Bundy, Alan	29	2001
The computer modelling of mathematical reasoning. Zbl 0541.68067 Bundy, Alan	22	1983
Conjecture synthesis for inductive theories. Zbl 1243.68268 Johansson, Moa; Dixon, Lucas; Bundy, Alan	20	2011
The OYSTER-CLAM system. Zbl 1509.68299 Bundy, Alan; van Harmelen, Frank; Horn, Christian; Smaill, Alan	19	1990
Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067 Bundy, Alan	16	1985
Experiments with proof plans for induction. Zbl 0733.68069 Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan	12	1991
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621 Colton, Simon; Bundy, Alan; Walsh, Toby	10	2000
Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106 van Harmelen, Frank; Bundy, Alan	9	1988
Extensions to the rippling-out tactic for guiding inductive proofs. Zbl 1509.68300 Bundy, Alan; van Harmelen, Frank; Smaill, Alan; Ireland, Andrew	9	1990
Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584 Winterstein, Daniel; Bundy, Alan; Gurr, Corin	8	2004
A rational reconstruction and extension of recursion analysis. Zbl 0708.68061 Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew	8	1989
The use of proof plans to sum series. Zbl 0925.03072 Walsh, Toby; Nunes, Alex; Bundy, Alan	7	1992
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008 Jamnik, Mateja; Bundy, Alan; Green, Ian	7	1999
Case-analysis for rippling and inductive proof. Zbl 1291.68352 Johansson, Moa; Dixon, Lucas; Bundy, Alan	6	2010
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178 Bundy, Alan	6	1986
Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303 Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus	6	2005
Middle-out reasoning for synthesis and induction. Zbl 0847.68104 Kraan, Ina; Basin, David; Bundy, Alan	6	1996
Applying adversarial planning techniques to Go. Zbl 0962.91011 Willmott, S.; Richardson, J.; Bundy, A.; Levine, J.	5	2001
Proofs about lists using ellipsis. Zbl 0938.03017 Bundy, Alan; Richardson, Julian	5	1999
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041 Bundy, Alan; Welham, Bob	4	1980
A survey of automated deduction. Zbl 0947.03011 Bundy, Alan	4	1999
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012 Janičić, Predrag; Bundy, Alan	4	2002
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004 Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby	4	1997
Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Zbl 0875.00063	4	1994
Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177 Bundy, Alan	4	2011
Ascertaining mathematical theorems. Zbl 1273.68324 McCasland, Roy L.; Bundy, Alan; Smith, Patrick F.	4	2006
Towards ontology evolution in physics. Zbl 1155.68521 Bundy, Alan; Chan, Michael	3	2008
Automatic verification of functions with accumulating parameters. Zbl 0940.68023 Ireland, Andrew; Bundy, Alan	3	1999
What is a proof? Zbl 1152.00305 Bundy, Alan; Jamnik, Mateja; Fugard, Andrew	3	2005
An analytical comparison of some rule-learning programs. Zbl 0583.68043 Bundy, Alan; Silver, Bernard; Plummer, Dave	3	1985
Using a generalisation critic to find bisimulations for coinductive proofs. Zbl 1430.68399 Dennis, Louise; Bundy, Alan; Green, Ian	3	1997
A critique of proof planning. Zbl 1012.68180 Bundy, Alan	2	2002
Using animation in diagrammatic theorem proving. Zbl 1049.68122 Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja	2	2002
A science of reasoning. (Extended abstract). Zbl 0913.03022 Bundy, Alan	2	1998
Calculating criticalities. Zbl 0906.68138 Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.	2	1996
A generalized interval package and its use for semantic checking. Zbl 0548.65039 Bundy, Alan	2	1984
An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597 Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja	2	2004
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579 Steel, Graham; Bundy, Alan; Maidl, Monika	1	2004
Automating signature evolution in logical theories. Zbl 1166.68356 Bundy, Alan	1	2008
Assignment methods for incidence calculus. Zbl 0820.68114 McLean, R. G.; Bundy, A.; Liu, W.	1	1995
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122 Janičić, Predrag; Bundy, Alan; Green, Ian	1	1999
A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544 Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja	1	2000
Planning proofs of equations in CCS. Zbl 1034.68646 Monroy, Raúl; Bundy, Alan; Green, Ian	1	2000
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504 Janičić, Predrag; Green, Ian; Bundy, Alan	1	1997
Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042 Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon	1	1988
A single-significant-digit calculus for semi-automated guesstimation. Zbl 1291.68315 Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona	1	2010
Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001 Bundy, Alan	1	1978
Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260 Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison	1	2015
Attacking group protocols by refuting incorrect inductive conjectures. Zbl 1134.94378 Steel, Graham; Bundy, Alan	1	2006
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128 Dennis, L. A.; Bundy, A.; Green, I.	1	2000
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110 Jamnik, Mateja; Bundy, Alan; Green, Ian	1	2002
On differences between the real and physical plane. Zbl 1091.68666 Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja	1	2004
Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261 Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison	1	2016
Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261 Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison	1	2016
Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260 Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison	1	2015
Conjecture synthesis for inductive theories. Zbl 1243.68268 Johansson, Moa; Dixon, Lucas; Bundy, Alan	20	2011
Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177 Bundy, Alan	4	2011
Case-analysis for rippling and inductive proof. Zbl 1291.68352 Johansson, Moa; Dixon, Lucas; Bundy, Alan	6	2010
A single-significant-digit calculus for semi-automated guesstimation. Zbl 1291.68315 Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona	1	2010
Towards ontology evolution in physics. Zbl 1155.68521 Bundy, Alan; Chan, Michael	3	2008
Automating signature evolution in logical theories. Zbl 1166.68356 Bundy, Alan	1	2008
Ascertaining mathematical theorems. Zbl 1273.68324 McCasland, Roy L.; Bundy, Alan; Smith, Patrick F.	4	2006
Attacking group protocols by refuting incorrect inductive conjectures. Zbl 1134.94378 Steel, Graham; Bundy, Alan	1	2006
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108 Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew	31	2005
Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303 Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus	6	2005
What is a proof? Zbl 1152.00305 Bundy, Alan; Jamnik, Mateja; Fugard, Andrew	3	2005
Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584 Winterstein, Daniel; Bundy, Alan; Gurr, Corin	8	2004
An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597 Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja	2	2004
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579 Steel, Graham; Bundy, Alan; Maidl, Monika	1	2004
On differences between the real and physical plane. Zbl 1091.68666 Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja	1	2004
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012 Janičić, Predrag; Bundy, Alan	4	2002
A critique of proof planning. Zbl 1012.68180 Bundy, Alan	2	2002
Using animation in diagrammatic theorem proving. Zbl 1049.68122 Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja	2	2002
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110 Jamnik, Mateja; Bundy, Alan; Green, Ian	1	2002
The automation of proof by mathematical induction. Zbl 0994.03007 Bundy, Alan	29	2001
Applying adversarial planning techniques to Go. Zbl 0962.91011 Willmott, S.; Richardson, J.; Bundy, A.; Levine, J.	5	2001
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621 Colton, Simon; Bundy, Alan; Walsh, Toby	10	2000
A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544 Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja	1	2000
Planning proofs of equations in CCS. Zbl 1034.68646 Monroy, Raúl; Bundy, Alan; Green, Ian	1	2000
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128 Dennis, L. A.; Bundy, A.; Green, I.	1	2000
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008 Jamnik, Mateja; Bundy, Alan; Green, Ian	7	1999
Proofs about lists using ellipsis. Zbl 0938.03017 Bundy, Alan; Richardson, Julian	5	1999
A survey of automated deduction. Zbl 0947.03011 Bundy, Alan	4	1999
Automatic verification of functions with accumulating parameters. Zbl 0940.68023 Ireland, Andrew; Bundy, Alan	3	1999
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122 Janičić, Predrag; Bundy, Alan; Green, Ian	1	1999
A science of reasoning. (Extended abstract). Zbl 0913.03022 Bundy, Alan	2	1998
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004 Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby	4	1997
Using a generalisation critic to find bisimulations for coinductive proofs. Zbl 1430.68399 Dennis, Louise; Bundy, Alan; Green, Ian	3	1997
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504 Janičić, Predrag; Green, Ian; Bundy, Alan	1	1997
Productive use of failure in inductive proof. Zbl 0847.68103 Ireland, Andrew; Bundy, Alan	34	1996
Middle-out reasoning for synthesis and induction. Zbl 0847.68104 Kraan, Ina; Basin, David; Bundy, Alan	6	1996
Calculating criticalities. Zbl 0906.68138 Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.	2	1996
Assignment methods for incidence calculus. Zbl 0820.68114 McLean, R. G.; Bundy, A.; Liu, W.	1	1995
Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Zbl 0875.00063	4	1994
Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121 Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan	35	1993
The use of proof plans to sum series. Zbl 0925.03072 Walsh, Toby; Nunes, Alex; Bundy, Alan	7	1992
Experiments with proof plans for induction. Zbl 0733.68069 Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan	12	1991
The OYSTER-CLAM system. Zbl 1509.68299 Bundy, Alan; van Harmelen, Frank; Horn, Christian; Smaill, Alan	19	1990
Extensions to the rippling-out tactic for guiding inductive proofs. Zbl 1509.68300 Bundy, Alan; van Harmelen, Frank; Smaill, Alan; Ireland, Andrew	9	1990
A rational reconstruction and extension of recursion analysis. Zbl 0708.68061 Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew	8	1989
The use of explicit plans to guide inductive proofs. Zbl 0656.68106 Bundy, Alan	41	1988
Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106 van Harmelen, Frank; Bundy, Alan	9	1988
Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042 Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon	1	1988
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178 Bundy, Alan	6	1986
Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067 Bundy, Alan	16	1985
An analytical comparison of some rule-learning programs. Zbl 0583.68043 Bundy, Alan; Silver, Bernard; Plummer, Dave	3	1985
A generalized interval package and its use for semantic checking. Zbl 0548.65039 Bundy, Alan	2	1984
The computer modelling of mathematical reasoning. Zbl 0541.68067 Bundy, Alan	22	1983
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041 Bundy, Alan; Welham, Bob	4	1980
Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001 Bundy, Alan	1	1978

all cited Publications top 5 cited Publications

all top 5

Cited by 421 Authors

23	Bundy, Alan
7	Hutter, Dieter
7	Johansson, Moa
6	Smaill, Alan
5	Giesl, Jürgen
5	Hetzl, Stefan
5	Ireland, Andrew
5	Jamnik, Mateja
5	Jebelean, Tudor
5	Melis, Erica
4	Basin, David A.
4	De Angelis, Emanuele
4	Dixon, Lucas
4	Drămnesc, Isabela
4	Fioravanti, Fabio
4	Green, Ian
4	Leitsch, Alexander
4	Peltier, Nicolas
4	Proietti, Maurizio
4	Siekmann, Jörg H.
4	Walsh, Toby
3	Benzmüller, Christoph Ewald
3	Claessen, Koen
3	Fuhs, Carsten
3	Kerber, Manfred
3	Kolbe, Thomas H.
3	Liu, Weiru
3	Maclean, Ewen
3	Pettorossi, Alberto
3	Pym, David J.
3	Smallbone, Nicholas
3	Stapleton, Gem
3	Stratulat, Sorin
3	van Harmelen, Frank
3	Walther, Christoph
3	Yao, Yiyu
2	Autexier, Serge
2	Bronsard, Francois
2	Caferra, Ricardo
2	Carette, Jacques
2	Colton, Simon
2	Confalonieri, Roberto
2	Demba, Moussa
2	Dennis, Louise Abigail
2	Eppe, Manfred
2	Farmer, William M.
2	Fish, Andrew
2	Fleuriot, Jacques D.
2	Friedrich, Gerhard E.
2	Gheorghiu, Alexander V.
2	Ghilardi, Silvio
2	Giunchiglia, Fausto
2	Grov, Gudmund
2	Hamami, Yacin
2	Hasker, Robert W.
2	Heeren, Bastiaan
2	Heras, Jónathan
2	Hesketh, Jane
2	Huang, Xiaorong
2	Jeuring, Johan
2	Kaliszyk, Cezary
2	Kohlhase, Michael
2	Komendantskaya, Ekaterina
2	Kounalis, Emmanuel
2	Kovács, Laura Ildikó
2	Kraan, Ina
2	Kramosil, Ivan
2	Kraus, Sarit
2	Kulpa, Zenon
2	Kutz, Oliver
2	Lin, Yuhui
2	Lisitsa, Alexei P.
2	Mantel, Heiko
2	Meier, Andreas
2	Paris, Jeffrey Bruce
2	Parting, Michael
2	Plaza, Enric
2	Popescu, Andrei
2	Protzen, Martin
2	Reddy, Uday S.
2	Reis, Giselle
2	Rosen, Dan
2	Schairer, Axel
2	Schneider-Kamp, Peter
2	Schorlemmer, Marco
2	Sengler, Claus
2	Swiderski, Stephan
2	Traytel, Dmitry
2	Urban, Josef
2	Urbas, Matej
2	Vierling, Jannik
2	Voigtlander, Janis
2	Wang, Lusheng
2	Weller, Daniel S.
2	Windsteiger, Wolfgang
2	Wong, S. K. Michael
1	Abourbih, Jonathan A.
1	Adams, Andrew A.
1	Algehed, Maximilian
1	Åman Pohjola, Johannes
...and 321 more Authors

all top 5

Cited in 54 Serials

33	Journal of Automated Reasoning
31	Artificial Intelligence
7	Theoretical Computer Science
7	Journal of Symbolic Computation
7	Annals of Mathematics and Artificial Intelligence
5	International Journal of Approximate Reasoning
5	Journal of Applied Logic
4	Information Sciences
4	Formal Aspects of Computing
3	International Journal of General Systems
3	Annals of Pure and Applied Logic
3	International Journal of Intelligent Systems
3	Formal Methods in System Design
3	Mathematics in Computer Science
2	Archive for Mathematical Logic
2	Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2	The Journal of Logic and Algebraic Programming
2	Theory and Practice of Logic Programming
2	The Review of Symbolic Logic
2	Journal of Logical and Algebraic Methods in Programming
1	Computers & Mathematics with Applications
1	Information Processing Letters
1	Letters in Mathematical Physics
1	Theoretical and Computational Fluid Dynamics
1	Applied Mathematics and Computation
1	Kybernetika
1	Programming and Computer Software
1	Studia Logica
1	Synthese
1	Journal of Computer Science and Technology
1	Information and Computation
1	Applied Mathematics Letters
1	AI Communications
1	Machine Learning
1	JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1	Neural Computation
1	Computational Geometry
1	Linear Algebra and its Applications
1	Journal of Logic, Language and Information
1	Journal of Applied Non-Classical Logics
1	Journal of Functional Programming
1	The Journal of Artificial Intelligence Research (JAIR)
1	Journal of Inequalities and Applications
1	LMS Journal of Computation and Mathematics
1	Foundations of Science
1	Journal of Mathematical Logic
1	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1	Computer Languages, Systems & Structures
1	ACM Transactions on Computational Logic
1	Oberwolfach Reports
1	Logica Universalis
1	Journal of Formalized Reasoning
1	Open Mathematics
1	Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

all top 5

Cited in 30 Fields

226	Computer science (68-XX)
87	Mathematical logic and foundations (03-XX)
11	General and overarching topics; collections (00-XX)
5	Numerical analysis (65-XX)
5	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4	Information and communication theory, circuits (94-XX)
3	Geometry (51-XX)
3	Operations research, mathematical programming (90-XX)
2	History and biography (01-XX)
2	Order, lattices, ordered algebraic structures (06-XX)
2	General algebraic systems (08-XX)
2	Number theory (11-XX)
2	Category theory; homological algebra (18-XX)
2	Real functions (26-XX)
2	Probability theory and stochastic processes (60-XX)
2	Quantum theory (81-XX)
1	Combinatorics (05-XX)
1	Field theory and polynomials (12-XX)
1	Commutative algebra (13-XX)
1	Algebraic geometry (14-XX)
1	Group theory and generalizations (20-XX)
1	Measure and integration (28-XX)
1	Special functions (33-XX)
1	Partial differential equations (35-XX)
1	Approximations and expansions (41-XX)
1	Harmonic analysis on Euclidean spaces (42-XX)
1	Mechanics of particles and systems (70-XX)
1	Fluid mechanics (76-XX)
1	Systems theory; control (93-XX)
1	Mathematics education (97-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.